Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fixup menus a bit. Remove proof-prf on options change. | 2000-05-12 | |
* | Several name changes isa- -> isabelle-, and made generic for Isar | 2000-05-12 | |
* | Fix to menu definition. | 2000-05-12 | |
* | Generic help menu for Isabelle and Isabelle/Isar added. | 2000-05-11 | |
* | isa-system.el -> isabelle-system.el | 2000-05-05 | |
* | Renamed file | 2000-05-05 |