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 /README-3.6pre | |
| parent | ae264cedd29525482907e03cb16cf14e7688a946 (diff) | |
Renamed file
Diffstat (limited to 'README-3.6pre')
| -rw-r--r-- | README-3.6pre | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/README-3.6pre b/README-3.6pre new file mode 100644 index 00000000..c5416a7b --- /dev/null +++ b/README-3.6pre @@ -0,0 +1,15 @@ +This is a pre-release of version 3.6 of Proof General. + +We are working on improving Coq support of PG 3.5, including: + + -- fixes to X-Symbol symbols + -- multiple file handling + -- automatic adjusting of line width + +There are other minor improvements to documentation, and some +improvements for Isabelle, in particular to support additional features +in the current CVS version of Isabelle. + +[da, 4/6/04]. + + |