-*- 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