aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-script.el
AgeCommit message (Expand)Author
1998-11-25Docstring improvements.David Aspinall
1998-11-25FSF Emacs fix for buffer-file-truename, which is theDavid Aspinall
1998-11-25Compile clean-ups.David Aspinall
1998-11-25Replaced proof-pbp-buffer with proof-goals-buffer.David Aspinall
1998-11-25Added "start proof assistant" menu optionDavid Aspinall
1998-11-25Use make-local-hook instead of make-local-variableDavid Aspinall
1998-11-25Improved error handling in proof-deactivate-scripting sinceDavid Aspinall
1998-11-25Wrote proof-deactiveate-scripting command for turning off scriptingDavid Aspinall
1998-11-25Improved docstringsDavid Aspinall
1998-11-25Docstring fixesDavid Aspinall
1998-11-20Minor cleanupsDavid Aspinall
1998-11-20Reimplemented functions to shut down and restart proof process.David Aspinall
1998-11-20BIG CHANGES -- SORRY!David Aspinall
1998-11-18proof-done-retracting: changed delete-region to kill-region afterDavid Aspinall
1998-11-18Bug fix: proof-undo-last-successful-command has silent failure forDavid Aspinall
1998-11-18 . Bug fix: moved proof-mark-buffer-atomic from proof-mode body toDavid Aspinall
1998-11-18Removed proof-response-buffer-display from byte compile autoloadsDavid Aspinall
1998-11-12In a fit of autocracy, removed proof-tags-support, binding forDavid Aspinall
1998-11-12Added Goals buffer to buffers menu -- I forgot it\!David Aspinall
1998-11-12Minor improvement to atrocious performance of proof-sement-up-to.David Aspinall
1998-11-12Fixed bug with find-next-terminator.David Aspinall
1998-11-12Renamed proof-mode-name -> proof-general-name.David Aspinall
1998-11-10Added buffers menu, and added shared menu to shell and response buffers.David Aspinall
1998-11-09Added docstringDavid Aspinall
1998-11-09Added proof-script-indent user option, to enable indentation code.David Aspinall
1998-11-09Added proof-strict-read-only, probably a handy new user-option.David Aspinall
1998-11-03Being pedantic about variables versus predicates, renamed prog-name-ask-p.David Aspinall
1998-11-03Added docstringDavid Aspinall
1998-11-03Func menu problems, note addedDavid Aspinall
1998-11-03Note added.David Aspinall
1998-11-03Renamed a couple of menu functions in case of later makingDavid Aspinall
1998-11-02Quick fix for multiple file problem when current scripting buffer is retracte...David Aspinall
1998-10-30implemented new buffer model. The goals buffer is now exclusivelyThomas Kleymann
1998-10-30replaced some occurences of (current-buffer) by proof-shell-buffer toThomas Kleymann
1998-10-29More hacks to variable names for customize (sorry)David Aspinall
1998-10-29Fixed requires for FSF Emacs.David Aspinall
1998-10-28Added proof-toolbar-follow-mode user option and functions to supportDavid Aspinall
1998-10-28rearranged code to avoid compiler warning messagesThomas Kleymann
1998-10-27More fixes for cleaner byte compile.David Aspinall
1998-10-27Removed eval-when-compile around define-derived-mode, it don't work.David Aspinall
1998-10-27Made handling of multiple files more robust. On changing scriptThomas Kleymann
1998-10-27Fixed up proof-script.el for clean byte compileDavid Aspinall
1998-10-27Fix of byte compiler warnings for proof-script.el.David Aspinall
1998-10-27Moved pbp-goal-command and pbp-hyp-command to proof-config.Moved LEGO specifix.David Aspinall
1998-10-27Added more comments to proof-activate-scriptingDavid Aspinall
1998-10-27Removed bug introduced by da trying to do clever optimizationsDavid Aspinall
1998-10-27Fixed assert-until-point for ignore-process caseDavid Aspinall
1998-10-27Begun work on clean byte compilation / clarifying interfaces.David Aspinall
1998-10-27Checked through span code. Commented out dead bitsDavid Aspinall
1998-10-27Renamed proof-invisible-command proof-shell-invisible-command.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 05:22:05 +0000