diff options
-rw-r--r-- | CHANGES | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -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. |