diff options
| -rw-r--r-- | ChangeLog.gz | bin | 15677 -> 144660 bytes | |||
| -rw-r--r-- | README | 9 |
2 files changed, 5 insertions, 4 deletions
diff --git a/ChangeLog.gz b/ChangeLog.gz Binary files differindex e94ff552..c6db7b4b 100644 --- a/ChangeLog.gz +++ b/ChangeLog.gz @@ -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: |