From 71ff892b0d2e29441997e31b80bce7b99175b41e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 4 Apr 2000 17:14:58 +0000
Subject: Note of 3.2 changes

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

diff --git a/CHANGES b/CHANGES
index 79003ebb..ae9d43fe 100644
--- a/CHANGES
+++ b/CHANGES
@@ -14,6 +14,10 @@
 
 ** Generic Changes
 
+*** Improved behaviour of electric terminator
+
+*** Added possibility for switching prover's output on/off.
+
 
 ** Coq Changes
 
-- 
cgit v1.2.3