diff options
| -rw-r--r-- | README.3.5.1pre | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/README.3.5.1pre b/README.3.5.1pre new file mode 100644 index 00000000..d4647d0d --- /dev/null +++ b/README.3.5.1pre @@ -0,0 +1,14 @@ +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: + + -- fixes to X-Symbol symbols + -- multiple file handling + -- automatic adjusting of line width + +There are other minor improvements to documentation. + +[da, 24/4/04]. + + |