blob: 9adbd07dc88b42363c8f1a458b0de39272e7924d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
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, and some
minor improvements for Isabelle.
[da, 7/5/04].
|