From e1c67a6cb5ba78af5faf43b87c1869de5f3161b9 Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Tue, 15 Jan 2013 14:40:18 +0000 Subject: - support bullets and braces in Prooftree - prooftree protocol change to version 3 --- CHANGES | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'CHANGES') diff --git a/CHANGES b/CHANGES index 8dd018e8..55034825 100644 --- a/CHANGES +++ b/CHANGES @@ -6,6 +6,12 @@ the CVS ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac. * Changes of Proof General 4.3 from Proof General 4.2 +** Generic/misc changes + +*** Require Prooftree version 0.11 + Check the Prooftree website to see which other versions of + Prooftree are compatible with Proof General 4.3. + ** Coq changes *** Asynchronous parallel compilation of required modules @@ -15,6 +21,7 @@ the CVS ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac. to compile modules in parallel in the background while Proof General stays responsive. +*** Support for bullets and braces for Prooftree. * Changes of Proof General 4.2 from Proof General 4.1 -- cgit v1.2.3