diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-11-20 14:23:34 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-11-20 14:23:34 +0000 |
commit | df5251b00f874b9081cf48a2bda8d848b7710750 (patch) | |
tree | 24f16f279515ec455b810d8f0cc17bc3f2697bee /generic/proof-indent.el | |
parent | 3d567985cfcb32da63412999af10632b72aaca3f (diff) |
Added some suggestions from Markus Wenzel
Diffstat (limited to 'generic/proof-indent.el')
0 files changed, 0 insertions, 0 deletions