diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-11-17 14:03:09 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-17 14:03:09 +0000 |
commit | 1f3bc5756940a7d58b32a549624a0fd10d0f52fe (patch) | |
tree | b02937e063cff927fe710e6d1a39376fd7c78617 /INSTALL | |
parent | dbc91730ae55b4e118c093b00f2ba1863360ad1e (diff) |
Updated
Diffstat (limited to 'INSTALL')
-rw-r--r-- | INSTALL | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -26,6 +26,8 @@ Proof General mode will be entered. In case of difficulty, please check the documentation in doc/, the notes below, and the file BUGS. If this doesn't help, then contact us via the address below. + - David Aspinall. + Proof General maintainer <proofgen@dcs.ed.ac.uk> LFCS, |