| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | Move setting of proof-shell-pre-interrupt-hook to isabelle-system.el |  David Aspinall | 2000-05-16 | |
| * | Missing quote | David Aspinall | 2000-05-16 | |
| * | Fixup menus a bit. Remove proof-prf on options change. | David Aspinall | 2000-05-12 | |
| * | Several name changes isa- -> isabelle-, and made generic for Isar | David Aspinall | 2000-05-12 | |
| * | Fix to menu definition. | David Aspinall | 2000-05-12 | |
| * | Generic help menu for Isabelle and Isabelle/Isar added. | David Aspinall | 2000-05-11 | |
| * | isa-system.el -> isabelle-system.el | David Aspinall | 2000-05-05 | |
| * | Renamed file | David Aspinall | 2000-05-05 | |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |