diff options
| author | Pierre Courtieu | 2015-10-13 15:21:41 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2015-10-13 15:21:41 +0200 |
| commit | efb54b9098d665fd58e99c42f53afd7e49a36c70 (patch) | |
| tree | 9af31abb8b95f6a717788b5c517ee8f803d0bb17 /pgshell | |
| parent | 14b8d0e24ef48032885018b4020969593477ee26 (diff) | |
proof-retract-command-hook added + more auto adjust width in coq mode.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions