From dc7af5fb2c02eb960815e01741b9d2cb59c3844e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 1 May 2000 18:40:35 +0000
Subject: Cease mentioning plastic.

---
 CHANGES | 9 ---------
 1 file changed, 9 deletions(-)

diff --git a/CHANGES b/CHANGES
index 30804ae9..af1c1c55 100644
--- a/CHANGES
+++ b/CHANGES
@@ -3,15 +3,6 @@
 * Summary of Changes for Proof General 3.2 from 3.1
 
 
-** New instantiations of Proof General!
-
-*** Plastic (http://www.dur.ac.uk/CARG/plastic.html)  (ongoing work)
-  
-   by Paul Callaghan <P.C.Callaghan@durham.ac.uk>.
-   The Plastic system itself is not yet publicly available,
-   so this is only included in the developers tar file.
-
-
 ** Generic Changes
 
 *** Added proof assistant specific menu facility.  
-- 
cgit v1.2.3