aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* New screenshotGravatar David Aspinall1999-10-21
* Fixes.Gravatar David Aspinall1999-10-20
* Fixed crossrefs.Gravatar David Aspinall1999-10-20
* Set version tag for new release.Gravatar David Aspinall1999-10-20
* Comments in proof-complete-buffer-atomic.Gravatar David Aspinall1999-10-20
* Add isa-shell-update-thy at the end of proof-activate-scripting-hook.Gravatar David Aspinall1999-10-20
* Updated with further issues raised by ever eager Munich folk.Gravatar David Aspinall1999-10-20
* Minor change for testing.Gravatar David Aspinall1999-10-20
* Made proof-site only load once.Gravatar David Aspinall1999-10-20
* theory loader actions now that of PG/isa;Gravatar Makarius Wenzel1999-10-20
* added ML_command;Gravatar Makarius Wenzel1999-10-20
* added isar-detect-header;Gravatar Makarius Wenzel1999-10-19
* Added uncaught exception to error-regexpGravatar David Aspinall1999-10-19
* Rename proof-mark-buffer-atomic -> proof-complete-buffer-atomic. make magicGravatar David Aspinall1999-10-19
* Issues added after report from DvO.Gravatar David Aspinall1999-10-19
* Rename proof-mark-buffer-atomic->proof-complete-buffer-atomic.Gravatar David Aspinall1999-10-19
* Rename proof-mark-buffer-atomic->proof-complete-buffer-atomic. Fix to only c...Gravatar David Aspinall1999-10-19
* Deactivate scripting before retracting a theory file. Fix for DvO's report.Gravatar David Aspinall1999-10-19
* Missing cursor moveGravatar David Aspinall1999-10-18
* Note about queue improvements.Gravatar David Aspinall1999-10-15
* Fixed bugGravatar David Aspinall1999-10-15
* FIRST ATTEMPT AT CANY QUEUE HANDLING. Extending regions when advancing patch.Gravatar David Aspinall1999-10-15
* Docstring improvementsGravatar David Aspinall1999-10-15
* UpdatedGravatar David Aspinall1999-10-15
* Doc fixes, php streamliningGravatar David Aspinall1999-10-15
* WhitespaceGravatar David Aspinall1999-10-15
* Failed attempt to fix sentinel problemGravatar David Aspinall1999-10-15
* comments added.Gravatar David Aspinall1999-10-15
* FormattingGravatar 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
* Version 3.0 messageGravatar David Aspinall1999-10-14
* DocstringGravatar David Aspinall1999-10-14
* Fix missing save-excursion causing bug with proof-process-buffer.Gravatar David Aspinall1999-10-14
* renamed verbatim/verb to text_raw/txt_raw;Gravatar Makarius Wenzel1999-10-14
* Removed note about probs with update()Gravatar David Aspinall1999-10-12
* WordingGravatar David Aspinall1999-10-12
* Note about author added, removed signatures.Gravatar David Aspinall1999-10-12
* This a try for commit, just changed the name of the maintainer of coq.elGravatar Pierre Courtieu1999-10-12
* New Coq maintainer.Gravatar David Aspinall1999-10-12
* UpdatedGravatar David Aspinall1999-10-12
* 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
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 20:03:36 +0000