aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* docstringGravatar David Aspinall1999-11-08
* Added a section on debugging, mentioned proof-show-debug-messages.Gravatar David Aspinall1999-11-08
* Fixes to intro.Gravatar David Aspinall1999-11-08
* Updates for 3.0Gravatar David Aspinall1999-11-08
* Docstring for proof-included-files.Gravatar David Aspinall1999-11-08
* proof-prf-string -> proof-showproof-commandGravatar David Aspinall1999-11-08
* UpdatedGravatar David Aspinall1999-11-08
* Comments/messages.Gravatar David Aspinall1999-11-08
* Comments.Gravatar David Aspinall1999-11-08
* Updated multiple file notes.Gravatar David Aspinall1999-11-08
* New file.Gravatar David Aspinall1999-11-08
* Note about release 3.0.Gravatar David Aspinall1999-11-08
* UpdatedGravatar David Aspinall1999-11-08
* Provisional updates for x-symbol support (incomplete)Gravatar David Aspinall1999-11-08
* Copyright messages updated.Gravatar David Aspinall1999-11-08
* Typo.Gravatar David Aspinall1999-11-08
* Changed web page to official one.Gravatar David Aspinall1999-11-08
* Copyright messages updated. Autoloads for x-symbol.Gravatar David Aspinall1999-11-08
* Copyright messages updated.Gravatar David Aspinall1999-11-08
* New section for x-symbol. New custom group for user options.Gravatar David Aspinall1999-11-08
* CommentsGravatar David Aspinall1999-11-08
* UpdatedGravatar David Aspinall1999-11-08
* Set version tag for new release.Gravatar David Aspinall1999-11-02
* improved proof-shell-error-regexp;Gravatar Makarius Wenzel1999-10-29
* update of x-symbol stuff by DvO;Gravatar Makarius Wenzel1999-10-27
* updated;Gravatar Makarius Wenzel1999-10-27
* (try_)context_thy_only;Gravatar Makarius Wenzel1999-10-27
* isa-update-thy-only: 'try' option;Gravatar Makarius Wenzel1999-10-27
* test stray ML file;Gravatar Makarius Wenzel1999-10-27
* tuned msg;Gravatar Makarius Wenzel1999-10-27
* updated;Gravatar Makarius Wenzel1999-10-26
* ProofGeneral.inform_file_processed/retracted;Gravatar Makarius Wenzel1999-10-26
* tuned proof-shell-error-regexp;Gravatar Makarius Wenzel1999-10-26
* isa-keywords-save: removed "result";Gravatar Makarius Wenzel1999-10-26
* ProofGeneral.kill_proof: clears goals buffer;Gravatar Makarius Wenzel1999-10-26
* replaced remove_thy by kill_thy (more robust);Gravatar Makarius Wenzel1999-10-26
* added kill_thy, touch_child_thys;Gravatar Makarius Wenzel1999-10-26
* Implementation of proof-auto-multiple-files.Gravatar David Aspinall1999-10-25
* Trivial tests for auto multiple files.Gravatar David Aspinall1999-10-25
* Bug fix for proof-re-end-of-cmd (regexp-quote proof-terminal-string)Gravatar David Aspinall1999-10-25
* Added ProofGeneral.texi to tags target.Gravatar David Aspinall1999-10-25
* Added proof-auto-multiple-files. Docstring addition.Gravatar David Aspinall1999-10-25
* Made proof-warning and friends take arg list.Gravatar David Aspinall1999-10-25
* update by DvO;Gravatar Makarius Wenzel1999-10-22
* Set version tag for new release.Gravatar David Aspinall1999-10-22
* isar-remove-file: compare basenames only;Gravatar Makarius Wenzel1999-10-22
* Typo.Gravatar David Aspinall1999-10-21
* Trivial changesGravatar David Aspinall1999-10-21
* Set version tag for new release.Gravatar David Aspinall1999-10-21
* Added inform-file-retracted-cmd settingGravatar David Aspinall1999-10-21
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-06 09:43:10 +0000