diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-10-18 13:19:52 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-10-18 13:19:52 +0000 |
commit | ea6e19a55b7b9ec3633616a176f298bbed516eb3 (patch) | |
tree | af4e4ec86ad05f6694222def86380cb663afce62 /doc/ProofGeneral.texi | |
parent | 2f1ef9ec1f7eab0b217df3f0dc0861e5f78f9f38 (diff) |
Fix parse error.
Diffstat (limited to 'doc/ProofGeneral.texi')
0 files changed, 0 insertions, 0 deletions