blob: 10575ec38d1f293d09bde366c22016c17ecd25d7 (
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 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, 4/6/04].
|