diff options
| author | Pierre Courtieu | 2015-09-22 10:48:51 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2015-09-22 10:48:51 +0200 |
| commit | f0c74c416cd356ed1261e25bc70e60551acb28f9 (patch) | |
| tree | a3263759b7a07f65eb117aaa2149fc889ca3bef2 /pgshell | |
| parent | 6444de9025c84c443427c0bddc2af7335da77b59 (diff) | |
hyps highlighting now supports compact contexts (in coq trunk soon).
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions