From 50c90ed2db245335b05544dac5fdc143f1c119a3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 7 Jun 1999 17:28:19 +0000
Subject: Mention Plastic and Isar

---
 CHANGES | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/CHANGES b/CHANGES
index 22d1c9b9..242f7a3f 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,6 +1,12 @@
 Summary of Changes for Proof General 2.1
 ----------------------------------------
 
+* Two new provisional instantiations of Proof General, for:
+   ** Isabelle/Isar (new proof language for Isabelle) by 
+      Markus Wenzel <wenzelm@informatik.tu-muenchen.de>
+   ** Plastic (http://www.dur.ac.uk/CARG/plastic.html)
+      by Paul Callaghan <P.C.Callaghan@durham.ac.uk>.
+
 * Documentation improvements.   
   Information added for Coq mode.
 
-- 
cgit v1.2.3