blob: 1ddfc95e3212ae40d8bfa93feac07956b4b9dd6d (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
Summary of Changes since Proof General 2.0
------------------------------------------
* Documentation improvements
* Support for x-symbol package to beautify
input and output with special fonts.
Patches for Isabelle provided by David von Oheimb.
(incomplete)
* Bug fix for Isabelle theory file mode.
|
