aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-script.el
Commit message (Expand)AuthorAge
* . Bug fix: moved proof-mark-buffer-atomic from proof-mode body toGravatar David Aspinall1998-11-18
* Removed proof-response-buffer-display from byte compile autoloadsGravatar David Aspinall1998-11-18
* In a fit of autocracy, removed proof-tags-support, binding forGravatar David Aspinall1998-11-12
* Added Goals buffer to buffers menu -- I forgot it\!Gravatar David Aspinall1998-11-12
* Minor improvement to atrocious performance of proof-sement-up-to.Gravatar David Aspinall1998-11-12
* Fixed bug with find-next-terminator.Gravatar David Aspinall1998-11-12
* Renamed proof-mode-name -> proof-general-name.Gravatar David Aspinall1998-11-12
* Added buffers menu, and added shared menu to shell and response buffers.Gravatar David Aspinall1998-11-10
* Added docstringGravatar David Aspinall1998-11-09
* Added proof-script-indent user option, to enable indentation code.Gravatar David Aspinall1998-11-09
* Added proof-strict-read-only, probably a handy new user-option.Gravatar David Aspinall1998-11-09
* Being pedantic about variables versus predicates, renamed prog-name-ask-p.Gravatar David Aspinall1998-11-03
* Added docstringGravatar David Aspinall1998-11-03
* Func menu problems, note addedGravatar David Aspinall1998-11-03
* Note added.Gravatar David Aspinall1998-11-03
* Renamed a couple of menu functions in case of later makingGravatar David Aspinall1998-11-03
* Quick fix for multiple file problem when current scripting buffer is retracte...Gravatar David Aspinall1998-11-02
* implemented new buffer model. The goals buffer is now exclusivelyGravatar Thomas Kleymann1998-10-30
* replaced some occurences of (current-buffer) by proof-shell-buffer toGravatar Thomas Kleymann1998-10-30
* More hacks to variable names for customize (sorry)Gravatar David Aspinall1998-10-29
* Fixed requires for FSF Emacs.Gravatar David Aspinall1998-10-29
* Added proof-toolbar-follow-mode user option and functions to supportGravatar David Aspinall1998-10-28
* rearranged code to avoid compiler warning messagesGravatar Thomas Kleymann1998-10-28
* More fixes for cleaner byte compile.Gravatar David Aspinall1998-10-27
* Removed eval-when-compile around define-derived-mode, it don't work.Gravatar David Aspinall1998-10-27
* Made handling of multiple files more robust. On changing scriptGravatar Thomas Kleymann1998-10-27
* Fixed up proof-script.el for clean byte compileGravatar David Aspinall1998-10-27
* Fix of byte compiler warnings for proof-script.el.Gravatar David Aspinall1998-10-27
* 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-03 17:17:58 +0000