diff options
| author |  Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1996-11-12 18:20:45 +0000 |
|---|---|---|
| committer | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1996-11-12 18:20:45 +0000 |
| commit | 618504240a2430f899c684a2ed847b40ec3f89c6 (patch) | |
| tree | 006057af6a52fb2c5f25e69269fc80dcc65b3fc7 /proof.el | |
| parent | 545a4764041769b76bf6de421a20375c22c47f01 (diff) | |
improved lego-outline-regexp
Diffstat (limited to 'proof.el')
0 files changed, 0 insertions, 0 deletions