diff options
| author | David Aspinall | 2004-08-25 11:34:05 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-08-25 11:34:05 +0000 |
| commit | 31383206a65fb76024ff4ba62a2ee8173398dbcf (patch) | |
| tree | d7892916e7c3399980986b4f3a3d3b6ffe6287e5 | |
| parent | ae264cedd29525482907e03cb16cf14e7688a946 (diff) | |
Renamed file
| -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 |