diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-05-09 11:02:35 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-05-09 11:02:35 +0000 |
| commit | d6b9deee62185d7ae9338c8dc0b9ea1f409063fc (patch) | |
| tree | 389ff945e4abd978af2ad3598813dc2f304b7ad1 /CHANGES | |
| parent | 6a2984687a5345c002cf0375505a99ebf9ffcd19 (diff) | |
Updated
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 11 |
1 files changed, 9 insertions, 2 deletions
@@ -2,12 +2,19 @@ * Summary of Changes for Proof General 3.2 from 3.1 +----- NB: this is a pre-release of PG 3.2. Bugs likely, please report ------ + + ** Generic Changes -*** Added proof assistant specific menu facility. +*** Proof assistant specific menus. + + Specific menus added for Coq, LEGO, Isabelle. + +*** Favourites: user-defined commands added proof assistant specific menu - Specific menus added for Coq, Isabelle. + WORK ONGOING: PRESENTLY INCOMPLETE, DO NOT REPORT! *** Proof assistant specific keymap added |