diff options
author | 2000-12-14 18:56:29 +0000 | |
---|---|---|
committer | 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