| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 1998-10-29 | Set version tag for new release. | David Aspinall | |
| 1998-10-29 | Added automatic <prover>-config customize group | David Aspinall | |
| 1998-10-29 | Crudely hacked Isabelle image onto splash screen. | David Aspinall | |
| 1998-10-29 | Fixed bug in proof-shell-process-urgent-message (preserve point). | David Aspinall | |
| 1998-10-29 | Clarifying comment about obscure variable added | David Aspinall | |
| 1998-10-29 | More hacks to variable names for customize (sorry) | David Aspinall | |
| 1998-10-29 | Fixed requires for FSF Emacs. | David Aspinall | |
| Patched (old bug?) in proof-response-buffer-display, how did it come back? | |||
| 1998-10-29 | Added prefixes in custom defgroups. | David Aspinall | |
| 1998-10-28 | Added autoload for proof-shell-available-p | 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-28 | Added customize group for Proof General faces and fixed other | David Aspinall | |
| groups in proof-config. | |||
| 1998-10-28 | Set version tag for new release. | proofgen | |
| 1998-10-28 | Set version tag for new release. | proofgen | |
| 1998-10-28 | rearranged code to avoid compiler warning messages | Thomas Kleymann | |
| 1998-10-27 | Continuing mods for cleaner byte compile | David Aspinall | |
| 1998-10-27 | Splash screen added back. Put in Xemacs test for noninteractive to | David Aspinall | |
| fix odd arithmetic error during byte compile. | |||
| 1998-10-27 | More fixes for cleaner byte compile. | David Aspinall | |
| 1998-10-27 | Removed eval-when-compile around define-derived-mode, it don't work. | David Aspinall | |
| 1998-10-27 | Made handling of multiple files more robust. On changing script | Thomas Kleymann | |
| buffers, we invoke (save-some-buffers). Furthermore, we warn the user if modified buffers have been read in by the proof assistant. | |||
| 1998-10-27 | Fixed up proof-script.el for clean byte compile | David Aspinall | |
| 1998-10-27 | typo | David Aspinall | |
| 1998-10-27 | Fix of byte compiler warnings for proof-script.el. | David Aspinall | |
| 1998-10-27 | Moved pbp-goal-command and pbp-hyp-command to proof-config.Moved LEGO specifix. | David Aspinall | |
| 1998-10-27 | Fixes for clean byte compile | David Aspinall | |
| 1998-10-27 | Added more comments to proof-activate-scripting | David Aspinall | |
| 1998-10-27 | Added FIXME question about moving point. | David Aspinall | |
| 1998-10-27 | Removed bug introduced by da trying to do clever optimizations | David Aspinall | |
| 1998-10-27 | Temp disable splash | David Aspinall | |
| 1998-10-27 | Fixed assert-until-point for ignore-process case | David Aspinall | |
| 1998-10-27 | Begun work on clean byte compilation / clarifying interfaces. | David Aspinall | |
| 1998-10-27 | Fixed urgent message stuff. proof-shell-process-urgent-messages | David Aspinall | |
| now seems to correctly observe all messages which pass through. | |||
| 1998-10-27 | Checked through span code. Commented out dead bits | David Aspinall | |
| 1998-10-27 | Renamed proof-invisible-command proof-shell-invisible-command. | David Aspinall | |
| Removed superfluous optional 'relaxed' argument from: proof-shell-invisibile-command, proof-grab-lock, proof-start-queue. | |||
| 1998-10-26 | Hacks in process filter, simplified locking functions. | David Aspinall | |
| 1998-10-26 | Removed a newline | David Aspinall | |
| 1998-10-26 | Moved proof-message to proof shell, renamed to proof-shell-message. | David Aspinall | |
| Removed redundant variables in proof-shell-popup-eager-annotation. | |||
| 1998-10-26 | Moved proof-message to proof shell, renamed to proof-shell-message. | David Aspinall | |
| Removed redundant variables in proof-shell-popup-eager-annotation. Fixed bug in proof-detach-segments called with optional argument (but it's never used?) Fixed bug in proof-issue-{goal,save} with function value for proof-{goal,save}-command. | |||
| 1998-10-26 | Note about bogus compiler warning | David Aspinall | |
| 1998-10-26 | Splash screen now works for FSF | David Aspinall | |
| 1998-10-26 | proof-splash: fixed layout of display, added more images and | David Aspinall | |
| customizability, made FSF compatible. | |||
| 1998-10-26 | proof-check-process-available replaced by *two* functions: | David Aspinall | |
| proof-activate-scripting proof-shell-ready-prover | |||
| 1998-10-23 | Moved proof-file-to-buffer to proof-script.el | David Aspinall | |
| 1998-10-23 | Corrected doc of proof-check-process-available | David Aspinall | |
| 1998-10-23 | Added support for locking Isabelle .thy files blue. | David Aspinall | |
| 1998-10-23 | Added note about mode symbols | David Aspinall | |
| 1998-10-23 | Added proof-mode-for-script setting. | David Aspinall | |
| 1998-10-23 | Replaced remaining face defs with defface calls. | David Aspinall | |
| Removed font-lock-<newface> with proof-<newface> so we know where things come from and won't break future font locks. | |||
| 1998-10-22 | Set version tag for new release. | Thomas Kleymann | |
| 1998-10-22 | Added deffaces to proof-config | David Aspinall | |
| 1998-10-22 | Added new predicates: proof-locked-region-{empty,full}-p | David Aspinall | |
| proof-only-whitespace-to-locked-region-p | |||
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |