aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-script.el
Commit message (Expand)AuthorAge
* improved proof-segment-up-to to support proof-string-start-regexp,Gravatar Makarius Wenzel1999-05-27
* proof-done-advancing: added proof-really-save-command-p to supportGravatar Makarius Wenzel1999-05-25
* Add toggle for proof toolbar to menuGravatar David Aspinall1999-05-11
* Fixed bug by shifting configuration of minor mode for active terminator.Gravatar David Aspinall1999-02-22
* Used proof-string-match for matching against proof script.Gravatar David Aspinall1999-02-01
* Removed info file name space, again, arrgggh.Gravatar David Aspinall1998-12-16
* Added back space in info file nameGravatar David Aspinall1998-12-16
* Reverted to previous semanticsGravatar David Aspinall1998-12-16
* Made delete-region arg optional for proof-retract-until-point-interactive.Gravatar David Aspinall1998-12-16
* Removed space from ProofGeneral name.Gravatar David Aspinall1998-12-16
* Tweaked docstring for C-c C-u.Gravatar David Aspinall1998-12-16
* rationalised keybinding (again)Gravatar Thomas Kleymann1998-12-16
* improved default keybindingsGravatar Thomas Kleymann1998-12-16
* Docstring fixGravatar David Aspinall1998-12-15
* Removed bogus duplicate call of proof-mode-hook at end of proof-config-done.Gravatar David Aspinall1998-12-15
* Fixes for FSF Emacs handling of processes, kill buffer hooks,Gravatar David Aspinall1998-12-15
* made many minor changes to the documentationGravatar Thomas Kleymann1998-12-15
* CommentsGravatar David Aspinall1998-12-11
* Allow even the current scripting buffer to be marked atomicallyGravatar David Aspinall1998-12-11
* Several changes:Gravatar David Aspinall1998-12-11
* Added submit bug report to proof-shared-menuGravatar David Aspinall1998-12-11
* Fixed typo.Gravatar David Aspinall1998-12-11
* Fixed bug where proof-activate-scripting nuked locked regions.Gravatar David Aspinall1998-12-11
* Offer to save script mode buffers which have no files,Gravatar David Aspinall1998-12-10
* Patch for case that new script buffer has no filename.Gravatar David Aspinall1998-12-10
* Docstring improvements.Gravatar David Aspinall1998-11-25
* FSF Emacs fix for buffer-file-truename, which is theGravatar David Aspinall1998-11-25
* Compile clean-ups.Gravatar David Aspinall1998-11-25
* Replaced proof-pbp-buffer with proof-goals-buffer.Gravatar David Aspinall1998-11-25
* Added "start proof assistant" menu optionGravatar David Aspinall1998-11-25
* Use make-local-hook instead of make-local-variableGravatar David Aspinall1998-11-25
* Improved error handling in proof-deactivate-scripting sinceGravatar David Aspinall1998-11-25
* Wrote proof-deactiveate-scripting command for turning off scriptingGravatar David Aspinall1998-11-25
* Improved docstringsGravatar David Aspinall1998-11-25
* Docstring fixesGravatar David Aspinall1998-11-25
* Minor cleanupsGravatar David Aspinall1998-11-20
* Reimplemented functions to shut down and restart proof process.Gravatar David Aspinall1998-11-20
* BIG CHANGES -- SORRY!Gravatar David Aspinall1998-11-20
* proof-done-retracting: changed delete-region to kill-region afterGravatar David Aspinall1998-11-18
* Bug fix: proof-undo-last-successful-command has silent failure forGravatar David Aspinall1998-11-18
* . 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 16:17:03 +0000