diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-06-08 02:12:26 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-06-08 02:12:26 +0000 |
| commit | ea070c9f9c5c9cb99068d2195284a0ff01dc6ee8 (patch) | |
| tree | a6c5c7db9e5c9e697de76cab1931ed54cf990329 | |
| parent | 364ef47244efdb3829d888dc741d2e493caec433 (diff) | |
Note about removing dirs
| -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. |