blob: 7d9ec30ac10ec0e77c71730d79d583ad90d0b701 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
Summary of Changes for Proof General 2.2 from 2.0
-------------------------------------------------
* Tweaks for Isabelle syntax.
Only in the developer's release:
* Provisional instantiation of Proof General for
Plastic (http://www.dur.ac.uk/CARG/plastic.html)
by Paul Callaghan <P.C.Callaghan@durham.ac.uk>.
|