diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-24 11:03:09 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-24 11:03:09 +0000 |
| commit | dad83c7b9cfe214e54efb8739a1a8f49d5cbb3be (patch) | |
| tree | a6fe6b9d09958724ed0483250570fc557b6290a7 /README.3.5.1pre | |
| parent | 230672e321074b07c85f58e6add83c953291c894 (diff) | |
New files.
Diffstat (limited to 'README.3.5.1pre')
| -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]. + + |