From ea070c9f9c5c9cb99068d2195284a0ff01dc6ee8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 8 Jun 2002 02:12:26 +0000
Subject: Note about removing dirs

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

diff --git a/CHANGES b/CHANGES
index 721c36c8..931d721c 100644
--- a/CHANGES
+++ b/CHANGES
@@ -8,6 +8,11 @@
 
 ** Generic Changes
 
+*** Remove handling for provers you don't want
+
+You can simply remove the directories from the PG distribution,
+instead of customizing the `proof-assistants' variable.
+
 *** Colours altered
 
 Queue and locked colours made a little less lurid.
-- 
cgit v1.2.3