aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* 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
* TypoGravatar David Aspinall1999-10-06
* BUG FIX: hopefully fixed spurious locked region problem.Gravatar David Aspinall1999-10-06
* FIXME addedGravatar David Aspinall1999-10-06
* Added proof-tidy-response user option.Gravatar David Aspinall1999-10-06
* face arg for proof-response-buffer-display is now optionalGravatar David Aspinall1999-10-06
* docstring and error message improvements.Gravatar David Aspinall1999-10-06
* settings for (de)activating scripting, and proof-tidy-response.Gravatar David Aspinall1999-10-06
* remove dead codeGravatar David Aspinall1999-10-06
* proof-try-command is deprecatedGravatar David Aspinall1999-10-06
* Updates.Gravatar David Aspinall1999-10-06
* Added proof-retract-buffer symmetric to proof-process-buffer.Gravatar David Aspinall1999-10-06
* Fixup name changesGravatar David Aspinall1999-10-01
* Set version tag for new release.Gravatar David Aspinall1999-10-01
* Renamed some configuration variables for uniformity, see CHANGES.Gravatar David Aspinall1999-10-01
* Removed dubious 'dont own process' error in proof-interrupt-process.Gravatar David Aspinall1999-10-01
* Added interrupt button to toolbarGravatar David Aspinall1999-10-01
* Fix bug for proof-shell-leave-annotations-in-output.Gravatar David Aspinall1999-10-01
* Fix toolbar in wrong buffer bug; delete defunct itimers.Gravatar David Aspinall1999-10-01
* Set version tag for new release.Gravatar David Aspinall1999-09-30
* Set version tag for new release.Gravatar David Aspinall1999-09-29
* Unhappily added proof-shell-leave-annotations-in-output hack.Gravatar David Aspinall1999-09-29
* Extended documentation for proof-shell-restart.Gravatar David Aspinall1999-09-29
* Menu name.Gravatar David Aspinall1999-09-29
* Fixes so that proof-strict-read-only can be toggled within a session (via res...Gravatar David Aspinall1999-09-29
* Re-enabled proof-by-pointing for testing purposes only. Fixed a bug.Gravatar David Aspinall1999-09-29
* Changed name of proof-copy-span to proof-mouse-track-insert.Gravatar David Aspinall1999-09-29
* Added proof-script-command-separator. Needs work.Gravatar David Aspinall1999-09-29
* Improved proof-copy-span and renamed to proof-mouse-track-insert.Gravatar David Aspinall1999-09-29
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-10 01:36:24 +0000