diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-05-29 19:02:31 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-05-29 19:02:31 +0000 |
| commit | 4f8a95e5cfa56888acae5b6847038f5b810d513b (patch) | |
| tree | f7da5a1d70ffb8228498d4c93170b6e92ac73991 /CHANGES | |
| parent | 155544df3152a63d5dce6c512ed469a6b93b755b (diff) | |
Favourites mechanism now fully implemented, I hope.
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -28,8 +28,6 @@ *** Favourites: user-defined commands added proof assistant specific menu - WORK ONGOING: PRESENTLY INCOMPLETE, DO NOT REPORT! - *** Menu reorganization, including new proof assistant specific menus. Specific menus added for Coq, LEGO, Isabelle. |