diff options
| author | David Aspinall | 2008-01-15 15:45:29 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-15 15:45:29 +0000 |
| commit | 41ad6a62cacfd16784875b5f68f1f823503fe94e (patch) | |
| tree | 0c22f5d12c12d915aab8de787f995ad228edd6c1 | |
| parent | 48835d0092bfff9a5ce26b268d71d9a932448cca (diff) | |
Deleted file
| -rw-r--r-- | README-3.7pre | 16 | ||||
| -rw-r--r-- | coq/CHANGES | 9 |
2 files changed, 0 insertions, 25 deletions
diff --git a/README-3.7pre b/README-3.7pre deleted file mode 100644 index 8e1e6501..00000000 --- a/README-3.7pre +++ /dev/null @@ -1,16 +0,0 @@ -This is a pre-release of version 3.7 of Proof General. - -There are improvements to Coq support, minor improvements to -documentation, and some improvements for Isabelle, in particular to -support additional features in Isabelle 2005. - -Compatibility has been improved for more Emacs versions across -different operating systems. - -Support for Unicode-safe interaction modes has been added (i.e., -not using Unicode-prefix characters as specials). - - -[da, 3/1/07]. - - diff --git a/coq/CHANGES b/coq/CHANGES deleted file mode 100644 index bf2b9a2a..00000000 --- a/coq/CHANGES +++ /dev/null @@ -1,9 +0,0 @@ --*- outline -*- - -* Summary of Changes since pg 3.6 - -** Adapted error highlighting to x-symbol - -** Response windows shrinking to fit in three window mode - -** Outline mode cleaner |