diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-08-27 12:35:38 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-27 12:35:38 +0000 |
| commit | 102b133125127681f25d82fbee42d1dd427a59cd (patch) | |
| tree | 08b4d7b9722fe7667121f852b79dda5fbbf5c9dc /CHANGES | |
| parent | 83e7483c91feb80b3b27531ac230ab1b1289644a (diff) | |
Updated.
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -46,7 +46,7 @@ Isabelle you can ask for a graph of the theorem dependencies (thm_deps), in Coq you can ask for the proof term to be printed. (Please send us suggestions for other useful features here). -*** Menu improvements (Favourites, options saving) +*** Menu improvements (favourites, options saving) Favourites are now more robust. You can delete them and save them when you want. The PG "quick" options can also be saved separately @@ -64,6 +64,8 @@ For minor issues, see isa/BUGS. You can simply remove the directories from the PG distribution, instead of customizing the `proof-assistants' variable. +*** Various efficiency improvements + ** Isabelle Changes |