diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2007-12-13 13:14:17 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-13 13:14:17 +0000 |
| commit | ea97c72460bf876bd69fdd54f170d449f348b937 (patch) | |
| tree | 259a1121cee1f6ed3c9c4a22ebe442563701afc1 /README | |
| parent | 60705ed44990aeac80d7830fea515e24e012bd8e (diff) | |
Updated.
Diffstat (limited to 'README')
| -rw-r--r-- | README | 9 |
1 files changed, 5 insertions, 4 deletions
@@ -9,10 +9,11 @@ environment for using interactive proof assistants. See - INSTALL for installation details. - COPYING for license details. - REGISTER for registration information (please register). - FAQ, doc/ for documentation of Proof General. + INSTALL for installation details. + COPYING for license details. + COMPATIBILITY for version compatibility information. + REGISTER for registration information (please register). + FAQ, doc/ for documentation of Proof General. Links: |