blob: 1316ee3ec0525bf3ee253f4f295d6cae6aaddea9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
This is a pre-release of version 3.6 of Proof General.
There are improvements to Coq support, minor improvements to
documentation, and some improvements for Isabelle, in particular to
support additional features in Isabelle 2005.
Compatibility has been improved for more Emacs versions.
=============
Things to do for 3.6 final:
-- nuisance fix needed for docstring magic because of pruning of spaces
from empty lines in all docstrings by Stefan Monnier (argh!)
-- merge/fix of patch by Claire Quigley
-- Coq updates check: symbols, linewidth, file handling
[da, 10/8/05].
|
