diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-06-04 11:44:46 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-06-04 11:44:46 +0000 |
| commit | 953678b52e65c7b4f79beb95fede63ce98c6f69b (patch) | |
| tree | 2a67742a1622e5453f0f0efee859a0bd67e43973 /README.3.5.1pre | |
| parent | d668cbe874434dbdf41cb82ff4a0d696ccc2586a (diff) | |
Update notice
Diffstat (limited to 'README.3.5.1pre')
| -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]. |