| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 1999-09-22 | Correct text, still no image. | David Aspinall | |
| 1999-09-22 | Updated | David Aspinall | |
| 1999-09-22 | Clarified font note | David Aspinall | |
| 1999-09-22 | New button icons | David Aspinall | |
| 1999-09-22 | Renamed file | David Aspinall | |
| 1999-09-22 | tuned example according to Isabelle style-guide; | Makarius Wenzel | |
| 1999-09-22 | improved (?) proof-shell-proof-completed-regexp; | Makarius Wenzel | |
| 1999-09-22 | Renamed file | David Aspinall | |
| 1999-09-21 | Set version tag for new release. | David Aspinall | |
| 1999-09-21 | Added cvs update to release target. | David Aspinall | |
| 1999-09-21 | Expanded. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |