diff options
| -rw-r--r-- | README.3.5.1pre | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/README.3.5.1pre b/README.3.5.1pre index 9adbd07d..10575ec3 100644 --- a/README.3.5.1pre +++ b/README.3.5.1pre @@ -1,7 +1,7 @@ This is a pre-release of an update to version 3.5 of Proof General. -We are working on improving Coq support for the final version -advertised verison of PG 3.5, including: +We are working on improving Coq support for the advertised verison of +PG 3.5, including: -- fixes to X-Symbol symbols -- multiple file handling @@ -10,6 +10,6 @@ advertised verison of PG 3.5, including: There are other minor improvements to documentation, and some minor improvements for Isabelle. -[da, 7/5/04]. +[da, 4/6/04]. |