diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-12-14 18:56:29 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-12-14 18:56:29 +0000 |
| commit | 308268ce68ed6b9e86e47abd3a597767f609c09b (patch) | |
| tree | 1a6a935d1ccd910f0ccb487f79d06499c5bbbd6d /doc/README.doc | |
| parent | 6f10f49bde947bc2f3fca034096ef7b9962c6c06 (diff) | |
Factor out some material from proof-script.el
Diffstat (limited to 'doc/README.doc')
0 files changed, 0 insertions, 0 deletions