diff options
Diffstat (limited to 'README-3.6pre')
| -rw-r--r-- | README-3.6pre | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/README-3.6pre b/README-3.6pre deleted file mode 100644 index 0de9bdb9..00000000 --- a/README-3.6pre +++ /dev/null @@ -1,16 +0,0 @@ -This is a pre-release of version 3.6 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, 10/8/05]. - - |