diff options
| -rw-r--r-- | README-3.6pre (renamed from README.3.5.1pre) | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/README.3.5.1pre b/README-3.6pre index 01a3f822..c5416a7b 100644 --- a/README.3.5.1pre +++ b/README-3.6pre @@ -1,7 +1,6 @@ -This is a pre-release of an update to version 3.5 of Proof General. +This is a pre-release of version 3.6 of Proof General. -We are working on improving Coq support for the advertised verison of -PG 3.5, including: +We are working on improving Coq support of PG 3.5, including: -- fixes to X-Symbol symbols -- multiple file handling |