diff options
author | 2002-08-08 21:49:20 +0000 | |
---|---|---|
committer | 2002-08-08 21:49:20 +0000 | |
commit | f3c331b28eb79a08131df723444eb0ebfc7452c2 (patch) | |
tree | 5bde7a535ba062f56c8445ed49e5c82c8e6e2112 /generic/proof-indent.el | |
parent | 04b55ba97d2942875e888fe72af713cce6568fb2 (diff) |
Generalise proof elements to include comments, show/hiding of comments.
Diffstat (limited to 'generic/proof-indent.el')
0 files changed, 0 insertions, 0 deletions