aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall1999-11-02
* update of x-symbol stuff by DvO;Gravatar Makarius Wenzel1999-10-27
* tuned msg;Gravatar Makarius Wenzel1999-10-27
* Implementation of proof-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 proof-auto-multiple-files. Docstring addition.Gravatar David Aspinall1999-10-25
* Made proof-warning and friends take arg list.Gravatar David Aspinall1999-10-25
* Set version tag for new release.Gravatar David Aspinall1999-10-22
* Set version tag for new release.Gravatar David Aspinall1999-10-21
* Added symmetric proof-shell-inform-file-retracted-cmd setting to correspondGravatar David Aspinall1999-10-21
* Changed name of proof-shell-cd-cmd for uniformity.Gravatar David Aspinall1999-10-21
* Changed name to proof-shell-inform-file-processed-cmdGravatar David Aspinall1999-10-21
* Added proof-shell-inform-file-processed-command setting.Gravatar David Aspinall1999-10-21
* docstringGravatar David Aspinall1999-10-21
* Set version tag for new release.Gravatar David Aspinall1999-10-20
* Comments in proof-complete-buffer-atomic.Gravatar David Aspinall1999-10-20
* Made proof-site only load once.Gravatar David Aspinall1999-10-20
* Rename proof-mark-buffer-atomic->proof-complete-buffer-atomic. Fix to only c...Gravatar David Aspinall1999-10-19
* Missing cursor moveGravatar David Aspinall1999-10-18
* FIRST ATTEMPT AT CANY QUEUE HANDLING. Extending regions when advancing patch.Gravatar David Aspinall1999-10-15
* Docstring improvementsGravatar David Aspinall1999-10-15
* Failed attempt to fix sentinel problemGravatar David Aspinall1999-10-15
* comments added.Gravatar David Aspinall1999-10-15
* let PROOFGENERAL_ASSISTANTS control isa vs. isar selection;Gravatar Makarius Wenzel1999-10-15
* Disabled proliferation of proof shell buffers.Gravatar David Aspinall1999-10-15
* Set version tag for new release.Gravatar David Aspinall1999-10-14
* DocstringGravatar David Aspinall1999-10-14
* Fix missing save-excursion causing bug with proof-process-buffer.Gravatar David Aspinall1999-10-14
* Added message for reporting problems to splash screen.Gravatar David Aspinall1999-10-12
* Set version tag for new release.Gravatar David Aspinall1999-10-12
* docstring magicGravatar David Aspinall1999-10-12
* docstring improvedGravatar David Aspinall1999-10-12
* Added proof-toolbar-use-enablers setting, and automaticallyGravatar David Aspinall1999-10-12
* Added proof-toolbar-use-enablers.Gravatar David Aspinall1999-10-12
* Set version tag for new release.Gravatar David Aspinall1999-10-07
* Fix for older emacsen, maybe.Gravatar David Aspinall1999-10-07
* Set version tag for new release.Gravatar David Aspinall1999-10-06
* Set version tag for new release.Gravatar David Aspinall1999-10-06
* after-change-functions only changed locally, only for script buffers.Gravatar David Aspinall1999-10-06
* Tidy proof-interrupt-processGravatar David Aspinall1999-10-06
* Comments in proof-shell-filter.Gravatar David Aspinall1999-10-06
* Speed optimizations, part I.Gravatar David Aspinall1999-10-06
* More improvements/fixes for closing unfinished proofs.Gravatar David Aspinall1999-10-06
* Made new command proof-cd to cd to the directory of the currentGravatar David Aspinall1999-10-06
* docstring improvementsGravatar David Aspinall1999-10-06
* Fixed coalescing of error messages: all error messages fromGravatar David Aspinall1999-10-06
* Support for closing off incomplete goal-saves.Gravatar David Aspinall1999-10-06
* Docstrings. Added proof-nested-goals-allowed.Gravatar David Aspinall1999-10-06
* Cleaned up. Fixed bug in proof-queue-or-locked-endGravatar David Aspinall1999-10-06
* docstringsGravatar David Aspinall1999-10-06
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-11 05:40:06 +0000