From 91deef6b62ec00bdff4501fafdfbe0e665400e6d Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 19 Oct 2012 16:23:42 +0000 Subject: Updates for PG 4.3 --- CHANGES | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'CHANGES') diff --git a/CHANGES b/CHANGES index 6659bd5f..a5b5f060 100644 --- a/CHANGES +++ b/CHANGES @@ -4,6 +4,11 @@ This is a summary of main changes. For details, please see the CVS ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac. +* Changes of Proof General 4.3 from Proof General 4.2 + +*** Nothing Yet! + + * Changes of Proof General 4.2 from Proof General 4.1 ** Generic/misc changes -- cgit v1.2.3