| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 1999-09-21 | Replaced Patrick with desperate plea for help with Coq PG. | David Aspinall | |
| 1999-09-21 | Fix for proof-shell-proof-completed-regexp | David Aspinall | |
| 1999-09-21 | Improved docstrings for regexp vars. | David Aspinall | |
| 1999-09-21 | Made desired usability changes more explicit and detailed. | David Aspinall | |
| Mentioned output formatting spurious newlines issue for Isabelle. | |||
| 1999-09-21 | Comment fix. | David Aspinall | |
| Fix for FSF Emacs. | |||
| 1999-09-21 | Adjusted proof-shell-proof-completed-regexp to match against whole of | David Aspinall | |
| proofstate output including "No subgoals!" message. Now PG can correctly set the proof-shell-proof-completed flag. | |||
| 1999-09-21 | Robustification so that new instances are easier to add | David Aspinall | |
| (allowed a bunch of regexps to be unset, safely). | |||
| 1999-09-21 | proof-shell-grab-lock runs proof-state-change-hook. | David Aspinall | |
| This results in some flickering of the toolbar (buttons disabled while region is pink), but is The Right Thing. Removed "Inferior" from buffer names. | |||
| 1999-09-21 | Add and remove proof-toolbar-refresh to/from proof-state-change-hook. | David Aspinall | |
| Simplified many of the toolbar functions to be aliases, and remove explicit check on enabler condition [although may want to add this back in uniformly to allow toolbar buttons to be called elsewhere?]. | |||
| 1999-09-21 | Call proof-state-change-hook after asserting and retracting. | David Aspinall | |
| 1999-09-21 | Callback for proof-shell-done-invisible now runs proof-state-change-hook. | David Aspinall | |
| 1999-09-21 | Added proof-state-change-hook for toolbar enabler refreshing. | David Aspinall | |
| Comments and variable ordering tweaked. | |||
| 1999-09-21 | lemma and_comms; | Makarius Wenzel | |
| 1999-09-13 | Fixed rearrange target. | David Aspinall | |
| 1999-09-13 | Removed proof-shell-completed added to eval-when-compile by mistake. | David Aspinall | |
| 1999-09-13 | Updated magic | David Aspinall | |
| 1999-09-13 | Added function to refresh toolbar | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |