aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-script.el
Commit message (Expand)AuthorAge
* Moved pbp-goal-command and pbp-hyp-command to proof-config.Moved LEGO specifix.Gravatar David Aspinall1998-10-27
* Added more comments to proof-activate-scriptingGravatar David Aspinall1998-10-27
* Removed bug introduced by da trying to do clever optimizationsGravatar David Aspinall1998-10-27
* Fixed assert-until-point for ignore-process caseGravatar David Aspinall1998-10-27
* Begun work on clean byte compilation / clarifying interfaces.Gravatar David Aspinall1998-10-27
* Checked through span code. Commented out dead bitsGravatar David Aspinall1998-10-27
* Renamed proof-invisible-command proof-shell-invisible-command.Gravatar David Aspinall1998-10-27
* Moved proof-message to proof shell, renamed to proof-shell-message.Gravatar David Aspinall1998-10-26
* proof-check-process-available replaced by *two* functions:Gravatar David Aspinall1998-10-26
* Moved proof-file-to-buffer to proof-script.elGravatar David Aspinall1998-10-23
* Corrected doc of proof-check-process-availableGravatar David Aspinall1998-10-23
* Added support for locking Isabelle .thy files blue.Gravatar David Aspinall1998-10-23
* Added deffaces to proof-configGravatar David Aspinall1998-10-22
* Added new predicates: proof-locked-region-{empty,full}-pGravatar David Aspinall1998-10-22
* Added todo for clean byte compileGravatar David Aspinall1998-10-22
* Split proof.el into proof-config.el, proof-script.el, proof-shell.elGravatar David Aspinall1998-10-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 18:42:02 +0000