diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-11-08 18:27:25 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-08 18:27:25 +0000 |
commit | bbf7b018c096f3beb5ad389ba485bff4a9c9743e (patch) | |
tree | b7ffbbd0e5eab849f62a868bcf6cacb3c4570ba0 /generic/proof-script.el | |
parent | 245e57919e738fe11b20123fa395f9d30196d095 (diff) |
Fixes to intro.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions