aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* updatesGravatar 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
* UpdatedGravatar David Aspinall1999-10-06
* Fixed proof-showproof-commandGravatar David Aspinall1999-10-06
* Turned off C-c C-l; fixed syntax for old result form; proof-showproof-command.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
* Fixed coq-interrupt-regexp.Gravatar David Aspinall1999-10-06
* BUG FIX: hopefully fixed spurious locked region problem.Gravatar David Aspinall1999-10-06
* UpdatedGravatar David Aspinall1999-10-06
* FIXME addedGravatar David Aspinall1999-10-06
* Remove coq-Search function, now generic.Gravatar David Aspinall1999-10-06
* Note to use C-c C-s to solve Isabelle probGravatar David Aspinall1999-10-06
* UpdatesGravatar 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
* UpdatedGravatar David Aspinall1999-10-06
* UpdatesGravatar David Aspinall1999-10-06
* summarize changes since 2.1Gravatar David Aspinall1999-10-06
* remove dead codeGravatar David Aspinall1999-10-06
* Admin changes for version 2.2.Gravatar David Aspinall1999-10-06
* proof-try-command is deprecatedGravatar David Aspinall1999-10-06
* Updates.Gravatar David Aspinall1999-10-06
* thy mode binding made to match with script modeGravatar David Aspinall1999-10-06
* Added proof-retract-buffer symmetric to proof-process-buffer.Gravatar David Aspinall1999-10-06
* isar-keywords-proof-asm-goal;Gravatar Makarius Wenzel1999-10-01
* 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
* Added interrupt button.Gravatar David Aspinall1999-10-01
* No attempt to update BUGS section of manualGravatar 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
* Disable proof-help-string, was set to an invalid command.Gravatar David Aspinall1999-10-01
* Minor changes to introduction.Gravatar David Aspinall1999-10-01
* Bug about cut-and-paste from highlighted Isabelle goals.Gravatar David Aspinall1999-10-01
* News for 1st October.Gravatar David Aspinall1999-09-30
* Set version tag for new release.Gravatar David Aspinall1999-09-30
* Automatically updated ChangeLog when making devel releaseGravatar David Aspinall1999-09-30
* Added icons.Gravatar David Aspinall1999-09-30
* Mentioned and linked ChangeLog file.Gravatar David Aspinall1999-09-30
* Added comments about using enriched mode or similar for prover output markup.Gravatar David Aspinall1999-09-30
generated by cgit v1.2.3 (git 2.39.1) at 2024-10-16 21:50:35 +0000