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 .