| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 1999-09-28 | More reorganizing of menus and keybindings with aim of usability in mind. | David Aspinall | |
| 1999-09-28 | Updated | David Aspinall | |
| 1999-09-28 | Reorganization of menus: made a single menu but flattened Scripting submenu. | David Aspinall | |
| 1999-09-28 | Fix for FSF: it should load proof-toolbar too. | David Aspinall | |
| 1999-09-28 | Made Scripting menu entry item on menubar. | David Aspinall | |
| 1999-09-28 | Longer menu names, allowed some toolbar items to be omitted from menu. | David Aspinall | |
| 1999-09-28 | Note about syntax | David Aspinall | |
| 1999-09-28 | Set version tag for new release. | David Aspinall | |
| 1999-09-27 | Set version tag for new release. | David Aspinall | |
| 1999-09-27 | Changed button order. | David Aspinall | |
| 1999-09-26 | added isar-verbatim; | Makarius Wenzel | |
| 1999-09-26 | added thms_containing, ML_setup; | Makarius Wenzel | |
| 1999-09-25 | proof-shell-proof-completed-regexp nil; | Makarius Wenzel | |
| 1999-09-24 | Isabelle term / type hiliting; | Makarius Wenzel | |
| 1999-09-24 | tuned; | Makarius Wenzel | |
| 1999-09-24 | unified example with other proof assistants; | Makarius Wenzel | |
| 1999-09-24 | Added names of helpful people at summer shcool | David Aspinall | |
| 1999-09-24 | Updated | David Aspinall | |
| 1999-09-23 | Updated | David Aspinall | |
| 1999-09-23 | Docstrings | David Aspinall | |
| 1999-09-23 | Added menu binding for finding theorems. | David Aspinall | |
| Added extra doc strings to hair macro definitions of functions. | |||
| 1999-09-23 | Added doc for proof-find-theorems | David Aspinall | |
| 1999-09-23 | Set proof-find-theorems-command | David Aspinall | |
| 1999-09-23 | Set version tag for new release. | David Aspinall | |
| 1999-09-23 | Added proof-find-theorems and some hairy macros to define related commands. | David Aspinall | |
| 1999-09-23 | Added implementation of proof-toolbar-find | David Aspinall | |
| 1999-09-23 | Trivial. | David Aspinall | |
| 1999-09-23 | Updated | David Aspinall | |
| 1999-09-23 | Added setting for proof-find-theorems-command. | David Aspinall | |
| 1999-09-23 | Added proof-find-theorems-command setting. | David Aspinall | |
| 1999-09-23 | Fixed up date order. | David Aspinall | |
| 1999-09-22 | updated (make magic); | Makarius Wenzel | |
| 1999-09-22 | Set version tag for new release. | David Aspinall | |
| 1999-09-22 | Added item about Giens | David Aspinall | |
| 1999-09-22 | Docstrings | David Aspinall | |
| 1999-09-22 | proof-completed-regexp: match number 1 is response text; | Makarius Wenzel | |
| 1999-09-22 | Bug in command button for toolbar. | David Aspinall | |
| 1999-09-22 | Added interval timer to reduce flickeriness of refresh. | David Aspinall | |
| However, this is faulty: seems to be a race condition somewhere so that refreshing clears the "refresh wanted" flag, but the toolbar suggests that the proof process is busy when it isn't. | |||
| 1999-09-22 | Whitespace. | David Aspinall | |
| 1999-09-22 | Added find and help buttons. Find does nothing at the moment. | David Aspinall | |
| Added proof-toolbar-refresh to after-change-functions. Makes for a flickery toolbar, unfortunately. | |||
| 1999-09-22 | Look up and left for context, down and right for state. Are these the right ↵ | David Aspinall | |
| NLP gestures? | |||
| 1999-09-22 | New buttons | David Aspinall | |
| 1999-09-22 | Updated buttons. | David Aspinall | |
| 1999-09-22 | Comments | David Aspinall | |
| 1999-09-22 | Button name change | David Aspinall | |
| 1999-09-22 | Whitespace | David Aspinall | |
| 1999-09-22 | Changed name of button | David Aspinall | |
| 1999-09-22 | Earlier explanation of what a proof assistant is. | David Aspinall | |
| 1999-09-22 | Updated with new buttons | David Aspinall | |
| 1999-09-22 | Image a bit like show. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |