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