Note about removing dirs

1 files changed, 5 insertions, 0 deletions

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.