aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* docstring magicGravatar David Aspinall1999-10-12
* Mention proof-toolbar-use-enablersGravatar 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
* proof-shell-cd: isar-verbatim no longer required;Gravatar Makarius Wenzel1999-10-07
* Temporary location of web pagesGravatar David Aspinall1999-10-07
* Set version tag for new release.Gravatar David Aspinall1999-10-07
* Fixed PRERELEASE_PREFIX.Gravatar David Aspinall1999-10-07
* Set version tag for new release.Gravatar David Aspinall1999-10-07
* replaced "clear_undo" to "clear_undos";Gravatar Makarius Wenzel1999-10-07
* Fix for older emacsen, maybe.Gravatar David Aspinall1999-10-07
* Set version tag for new release.Gravatar David Aspinall1999-10-06
* In case Makefile.devel changes, update in make process is not good enough.Gravatar David Aspinall1999-10-06
* Set version tag for new release.Gravatar David Aspinall1999-10-06
* Usability enhancementGravatar David Aspinall1999-10-06
* Fix for Unnamed_thm: Coq really uses this identifier.Gravatar David Aspinall1999-10-06
* Test for Unnamed_thm.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
* UpdatedGravatar David Aspinall1999-10-06
* Remove LucidaSans, defaults to tt font.Gravatar David Aspinall1999-10-06
* News later this month.Gravatar David Aspinall1999-10-06
* UpdatedGravatar David Aspinall1999-10-06
* UpdatedGravatar David Aspinall1999-10-06
* Speed optimizations, part I.Gravatar David Aspinall1999-10-06
* Next version will be 3.0 cvs updateGravatar David Aspinall1999-10-06
* Notes on profiling.Gravatar David Aspinall1999-10-06
* UpdatedGravatar David Aspinall1999-10-06
* Fix for state-preserving-pGravatar 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
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 13:20:09 +0000