| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 1999-05-11 | Add toggle for proof toolbar to menu | David Aspinall | |
| 1998-12-17 | Updated docstring. | David Aspinall | |
| 1998-12-15 | made many minor changes to the documentation | Thomas Kleymann | |
| 1998-12-11 | Removed check for proof script buffer from retraction enabler. | David Aspinall | |
| 1998-12-10 | Changed name of proof-toolbar-inhibit variable for uniformity. | David Aspinall | |
| 1998-11-25 | Toolbar tip for restart changed. | David Aspinall | |
| 1998-11-25 | Docstring fixes, minor improvements. | David Aspinall | |
| 1998-11-20 | Reimplemented functions to shut down and restart proof process. | David Aspinall | |
| Scrapped proof-shell-exit-hook. Added proof-shell-quit-cmdd, proof-shell-restart-comd Fancier Scripting indicator for active scripting buffer. | |||
| 1998-11-20 | BIG CHANGES -- SORRY! | David Aspinall | |
| Replaced proof-script-buffer-list with proof-script-buffer. The list was causing too much confusion and nasty bugs used with Isabelle multiple files. Implemented proof-script-buffers and proof-restart-all-buffers, other functions. | |||
| 1998-11-03 | Added menu made from toolbar commands, called "Scripting". | David Aspinall | |
| Made file FSF GNU Emacs compatible. | |||
| 1998-11-01 | o added support for byte-compilation | Thomas Kleymann | |
| o removed hhg tags in todo o fixed font-lock for FSF Emacs 20.2 o ensured that goals buffer is updated for longer queues o fixed a bug in proof-universal-keys-only-mode | |||
| 1998-10-29 | More hacks to variable names for customize (sorry) | David Aspinall | |
| 1998-10-28 | Added proof-toolbar-follow-mode user option and functions to support | David Aspinall | |
| it. Removed require on proof-shell from proof-toolbar. | |||
| 1998-10-27 | Begun work on clean byte compilation / clarifying interfaces. | David Aspinall | |
| 1998-10-26 | proof-check-process-available replaced by *two* functions: | David Aspinall | |
| proof-activate-scripting proof-shell-ready-prover | |||
| 1998-10-22 | Added todo for clean byte compile | David Aspinall | |
| 1998-10-21 | o Improved error messages | Thomas Kleymann | |
| o Fixed bug in proof-toolbar-next | |||
| 1998-10-18 | relaxed conditions in light of new multiple files support | Thomas Kleymann | |
| 1998-10-18 | Reimplemented multiple file proof developments | Thomas Kleymann | |
| 1998-10-12 | Fixed bug in proof-toolbar-qed. | David Aspinall | |
| 1998-10-12 | Made toolbar functions interactive, needed by old XEmacs. | David Aspinall | |
| 1998-10-12 | Made toolbar functions interactive, needed by old XEmacs. | David Aspinall | |
| 1998-10-12 | Made toolbar functions interactive, needed by old XEmacs. | David Aspinall | |
| 1998-10-12 | Removed toolbar enablers. XEmacs isnt ready for them yet. | David Aspinall | |
| 1998-10-12 | Made toolbar functions leave point alone, mostly. | David Aspinall | |
| 1998-10-12 | Doc strings | David Aspinall | |
| 1998-10-07 | Added detection of less than 16 bit colour depth to display 8bit | David Aspinall | |
| icons. Disabled toolbar for console working. | |||
| 1998-10-01 | Updated maintainer tags to remove lego email address. | David Aspinall | |
| 1998-10-01 | Added qed button. Fixed enabler predicates. | David Aspinall | |
| 1998-09-23 | Changed customization group name | David Aspinall | |
| 1998-09-22 | Added new buttons, changed icons. | David Aspinall | |
| 1998-09-14 | Added docs and proof-restart-script-same-process (may need work) | David Aspinall | |
| 1998-09-09 | Renamed recycle icon to restart | David Aspinall | |
| 1998-09-09 | Added query to restart script button in case of accidents. | David Aspinall | |
| 1998-09-08 | Added todos for toolbar. | David Aspinall | |
| 1998-09-08 | First version of generic proof toolbar. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |