diff options
| author | Pierre Courtieu | 2012-06-11 00:10:49 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2012-06-11 00:10:49 +0000 |
| commit | bd31264049118852bf122fce5872074ec495427d (patch) | |
| tree | d99c9770243db0f77bf517c5b651b9f193cbc8d7 /pgshell/pgshell.el | |
| parent | 9bf70918047904edef8b9e0ead3f1849ba34ff75 (diff) | |
Trying to minimize the slowness of indentation when no "Proof." is
given. Seems to work.
Diffstat (limited to 'pgshell/pgshell.el')
0 files changed, 0 insertions, 0 deletions