1 files changed, 11 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index a882f69a..79677e27 100644
--- a/CHANGES
+++ b/CHANGES
@@ -3,6 +3,17 @@
 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.2 from Proof General 4.1
+
+** Generic/misc changes
+
+*** Compilation fixes for Emacs 24.
+
+*** Fix "pgshell" mode for shell/CLI prover interaction
+
+
 * Changes of Proof General 4.1 from Proof General 4.0
 
 ** Generic changes