aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
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
1999-10-26tuned proof-shell-error-regexp;Makarius Wenzel
1999-10-26isa-keywords-save: removed "result";Makarius Wenzel
1999-10-26ProofGeneral.kill_proof: clears goals buffer;Makarius Wenzel
1999-10-26replaced remove_thy by kill_thy (more robust);Makarius Wenzel
1999-10-26added kill_thy, touch_child_thys;Makarius Wenzel
1999-10-25Implementation of proof-auto-multiple-files.David Aspinall
1999-10-25Trivial tests for auto multiple files.David Aspinall
1999-10-25Bug fix for proof-re-end-of-cmd (regexp-quote proof-terminal-string)David Aspinall
1999-10-25Added ProofGeneral.texi to tags target.David Aspinall
1999-10-25Added proof-auto-multiple-files. Docstring addition.David Aspinall
1999-10-25Made proof-warning and friends take arg list.David Aspinall
1999-10-22update by DvO;Makarius Wenzel
1999-10-22Set version tag for new release.David Aspinall
1999-10-22isar-remove-file: compare basenames only;Makarius Wenzel
1999-10-21Typo.David Aspinall
1999-10-21Trivial changesDavid Aspinall
1999-10-21Set version tag for new release.David Aspinall
1999-10-21Added inform-file-retracted-cmd settingDavid Aspinall
1999-10-21Altered slightly to remove contentious phrase.David Aspinall
1999-10-21Added symmetric proof-shell-inform-file-retracted-cmd setting to correspondDavid Aspinall
1999-10-21Documentation about the improved multiple file handling functions.David Aspinall
1999-10-21Changed name of proof-shell-cd-cmd for uniformity.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 03:54:45 +0000