Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Image a bit like show. | 1999-09-22 | |
| | |||
* | Correct text, still no image. | 1999-09-22 | |
| | |||
* | Updated | 1999-09-22 | |
| | |||
* | Clarified font note | 1999-09-22 | |
| | |||
* | New button icons | 1999-09-22 | |
| | |||
* | Renamed file | 1999-09-22 | |
| | |||
* | tuned example according to Isabelle style-guide; | 1999-09-22 | |
| | |||
* | improved (?) proof-shell-proof-completed-regexp; | 1999-09-22 | |
| | |||
* | Renamed file | 1999-09-22 | |
| | |||
* | Set version tag for new release. | 1999-09-21 | |
| | |||
* | Added cvs update to release target. | 1999-09-21 | |
| | |||
* | Expanded. | 1999-09-21 | |
| | |||
* | Replaced Patrick with desperate plea for help with Coq PG. | 1999-09-21 | |
| | |||
* | Fix for proof-shell-proof-completed-regexp | 1999-09-21 | |
| | |||
* | Improved docstrings for regexp vars. | 1999-09-21 | |
| | |||
* | Made desired usability changes more explicit and detailed. | 1999-09-21 | |
| | | | | Mentioned output formatting spurious newlines issue for Isabelle. | ||
* | Comment fix. | 1999-09-21 | |
| | | | | Fix for FSF Emacs. | ||
* | Adjusted proof-shell-proof-completed-regexp to match against whole of | 1999-09-21 | |
| | | | | | proofstate output including "No subgoals!" message. Now PG can correctly set the proof-shell-proof-completed flag. | ||
* | Robustification so that new instances are easier to add | 1999-09-21 | |
| | | | | (allowed a bunch of regexps to be unset, safely). | ||
* | proof-shell-grab-lock runs proof-state-change-hook. | 1999-09-21 | |
| | | | | | | | This results in some flickering of the toolbar (buttons disabled while region is pink), but is The Right Thing. Removed "Inferior" from buffer names. | ||
* | Add and remove proof-toolbar-refresh to/from proof-state-change-hook. | 1999-09-21 | |
| | | | | | | 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?]. | ||
* | Call proof-state-change-hook after asserting and retracting. | 1999-09-21 | |
| | |||
* | Callback for proof-shell-done-invisible now runs proof-state-change-hook. | 1999-09-21 | |
| | |||
* | Added proof-state-change-hook for toolbar enabler refreshing. | 1999-09-21 | |
| | | | | Comments and variable ordering tweaked. | ||
* | lemma and_comms; | 1999-09-21 | |
| | |||
* | Fixed rearrange target. | 1999-09-13 | |
| | |||
* | Removed proof-shell-completed added to eval-when-compile by mistake. | 1999-09-13 | |
| | |||
* | Updated magic | 1999-09-13 | |
| | |||
* | Added function to refresh toolbar | 1999-09-13 | |
| | |||
* | Added callbacks to refresh toolbar | 1999-09-13 | |
| | |||
* | New toolbar image | 1999-09-13 | |
| | |||
* | Changed peculiar message to something slightly less peculiar | 1999-09-13 | |
| | |||
* | Updated buttons. xbm's still problematical, I think | 1999-09-13 | |
| | |||
* | Updated for gimp 1.1.9 | 1999-09-13 | |
| | |||
* | Updated | 1999-09-13 | |
| | |||
* | Updated | 1999-09-13 | |
| | |||
* | Altered to use craro since scar now broken. | 1999-09-13 | |
| | |||
* | Failed attempt to prevent Coq from starting up with display of current ↵ | 1999-09-13 | |
| | | | | directory. | ||
* | Set version tag for new release. | 1999-09-13 | |
| | |||
* | Mention Yves Bertot on about page | 1999-09-13 | |
| | |||
* | Emphasised that user can still use the shell | 1999-09-13 | |
| | |||
* | No longer cutting edge, really. | 1999-09-13 | |
| | |||
* | Added plastic to elisp dirs and cleanup backup files. | 1999-09-13 | |
| | |||
* | Experimental fix for proof-shell-completed flag clearing. | 1999-09-13 | |
| | |||
* | Added new toolbar buttons, streamlined code to work from a table | 1999-09-13 | |
| | |||
* | Added new buttons. (xbm files currently missing, some icons not made yet, ↵ | 1999-09-13 | |
| | | | | confusingly copied old ones. | ||
* | Mentioned toolbar enabler potential problems | 1999-09-13 | |
| | |||
* | Updated | 1999-09-13 | |
| | |||
* | Added proof-terminal-string to proof-execute-minibuffer-cmd. | 1999-09-13 | |
| | |||
* | Reorganized and formatted, added some items. | 1999-09-13 | |
| |