CHANGES


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

-*- outline -*-

* Summary of Changes for Proof General 3.3 from 3.2

** Generic Changes

** Coq Changes

** LEGO Changes

** Isabelle Changes

** Isar Changes

** HOL Changes

** Changes for developers to note