aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
1999-11-10proof-looking-at (subject to proof-case-fold-search);Makarius Wenzel
1999-11-10Electric (active) terminator is now a user option, does not need forcing here.David Aspinall
1999-11-10Fix decoding of shell input.David Aspinall
1999-11-10Moved proof-file-truename, proof-file-to-buffer, to proof.elDavid Aspinall
Made setting font-lock-always-fontify-immediately be buffer local in proof scripts (it's an ugly hack for comma-defontification).
1999-11-10Moved utility function proof-files-to-buffers to proof.el. Fixed local varDavid Aspinall
1999-11-10Moved more utility functions here.David Aspinall
1999-11-10Removed unsociable key-bindings.David Aspinall
1999-11-09Fixed info syntax errorsDavid Aspinall
1999-11-09Set version tag for new release.David Aspinall
1999-11-09No unless notedDavid Aspinall
1999-11-09News about x-symbolDavid Aspinall
1999-11-09Generic support for x-symbol tuned up.David Aspinall
1999-11-09Fixes for x-symbol activation/deactivation stringsDavid Aspinall
1999-11-09Bug again in call-interactively in proof-toggle-active-scripting.David Aspinall
Turn on proof-x-symbol mode in proof script mode.
1999-11-09Bug in proof-toggle-active-scripting interactive calling.David Aspinall
1999-11-09Test files for error in theory processing.David Aspinall
1999-11-09Arrange for activate-scripting to not block for interactive calls.David Aspinall
1999-11-08docstringDavid Aspinall
1999-11-08Added a section on debugging, mentioned proof-show-debug-messages.David Aspinall
1999-11-08Fixes to intro.David Aspinall
1999-11-08Updates for 3.0David Aspinall
1999-11-08Docstring for proof-included-files.David Aspinall
1999-11-08proof-prf-string -> proof-showproof-commandDavid Aspinall
1999-11-08UpdatedDavid Aspinall
1999-11-08Comments/messages.David Aspinall
1999-11-08Comments.David Aspinall
1999-11-08Updated multiple file notes.David Aspinall
1999-11-08New file.David Aspinall
1999-11-08Note about release 3.0.David Aspinall
1999-11-08UpdatedDavid Aspinall
1999-11-08Provisional updates for x-symbol support (incomplete)David Aspinall
1999-11-08Copyright messages updated.David Aspinall
1999-11-08Typo.David Aspinall
1999-11-08Changed web page to official one.David Aspinall
Added x-symbol support (moved here from generic/proof-x-symbol)
1999-11-08Copyright messages updated. Autoloads for x-symbol.David Aspinall
1999-11-08Copyright messages updated.David Aspinall
1999-11-08New section for x-symbol. New custom group for user options.David Aspinall
1999-11-08CommentsDavid Aspinall
1999-11-08UpdatedDavid Aspinall
1999-11-02Set version tag for new release.David Aspinall
1999-10-29improved proof-shell-error-regexp;Makarius Wenzel
1999-10-27update of x-symbol stuff by DvO;Makarius Wenzel
1999-10-27updated;Makarius Wenzel
1999-10-27(try_)context_thy_only;Makarius Wenzel
1999-10-27isa-update-thy-only: 'try' option;Makarius Wenzel
1999-10-27test stray ML file;Makarius Wenzel
1999-10-27tuned msg;Makarius Wenzel
1999-10-26updated;Makarius Wenzel
1999-10-26ProofGeneral.inform_file_processed/retracted;Makarius Wenzel
improved proof-shell-compute-new-files-list (more robust);
1999-10-26tuned proof-shell-error-regexp;Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 05:18:12 +0000