diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-01 17:43:13 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-01 17:43:13 +0000 |
| commit | 6d06073ac1917748f13739d430202064407b00d5 (patch) | |
| tree | 233947f912271430117bc574577887022da88ce4 /INSTALL | |
| parent | b24d17040eef9941d35f72e430a6bb0bda71b2c8 (diff) | |
Updated maintainer tags to remove lego email address.
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 11 |
1 files changed, 11 insertions, 0 deletions
@@ -40,6 +40,17 @@ and assistant-specific elisp files are kept in subdirectories of proof-home so that the autoload directory calculations are correct. + In case of difficulty, please contact us via the address below. + + Proof General maintainer <proofgen@dcs.ed.ac.uk> + School of Computer Science, + Division Of Informatics, + University of Edinburgh. + Edinburgh. + + http://www.dcs.ed.ac.uk/home/proofgen + + ---------------------------------------------------------------------- Customization for Coq |