aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
1999-10-21Changed name of proof-shell-cd-cmd for uniformity.David Aspinall
1999-10-21Renamed proof-shell-inform-file-processed-cmdDavid Aspinall
1999-10-21Added proof-shell-inform-file-processed-cmdDavid Aspinall
1999-10-21typoDavid Aspinall
1999-10-21Changed name to proof-shell-inform-file-processed-cmdDavid Aspinall
1999-10-21Revised bug section for Isabelle multiple file note.David Aspinall
1999-10-21Added proof-shell-inform-file-processed-command setting.David Aspinall
1999-10-21docstringDavid Aspinall
1999-10-21A couple of comint symbols are mentioned in the docsDavid Aspinall
1999-10-21Updated for new screenshotDavid Aspinall
1999-10-21New screenshotDavid Aspinall
1999-10-20Fixes.David Aspinall
1999-10-20Fixed crossrefs.David Aspinall
1999-10-20Set version tag for new release.David Aspinall
1999-10-20Comments in proof-complete-buffer-atomic.David Aspinall
1999-10-20Add isa-shell-update-thy at the end of proof-activate-scripting-hook.David Aspinall
1999-10-20Updated with further issues raised by ever eager Munich folk.David Aspinall
1999-10-20Minor change for testing.David Aspinall
1999-10-20Made proof-site only load once.David Aspinall
1999-10-20theory loader actions now that of PG/isa;Makarius Wenzel
1999-10-20added ML_command;Makarius Wenzel
1999-10-19added isar-detect-header;Makarius Wenzel
1999-10-19Added uncaught exception to error-regexpDavid Aspinall
1999-10-19Rename proof-mark-buffer-atomic -> proof-complete-buffer-atomic. make magicDavid Aspinall
1999-10-19Issues added after report from DvO.David Aspinall
1999-10-19Rename proof-mark-buffer-atomic->proof-complete-buffer-atomic.David Aspinall
1999-10-19Rename proof-mark-buffer-atomic->proof-complete-buffer-atomic. Fix to only c...David Aspinall
1999-10-19Deactivate scripting before retracting a theory file. Fix for DvO's report.David Aspinall
1999-10-18Missing cursor moveDavid Aspinall
1999-10-15Note about queue improvements.David Aspinall
1999-10-15Fixed bugDavid Aspinall
1999-10-15FIRST ATTEMPT AT CANY QUEUE HANDLING. Extending regions when advancing patch.David Aspinall
1999-10-15Docstring improvementsDavid Aspinall
1999-10-15UpdatedDavid Aspinall
1999-10-15Doc fixes, php streamliningDavid Aspinall
1999-10-15WhitespaceDavid Aspinall
1999-10-15Failed attempt to fix sentinel problemDavid Aspinall
1999-10-15comments added.David Aspinall
1999-10-15FormattingDavid Aspinall
1999-10-15let PROOFGENERAL_ASSISTANTS control isa vs. isar selection;Makarius Wenzel
1999-10-15Disabled proliferation of proof shell buffers.David Aspinall
1999-10-14Set version tag for new release.David Aspinall
1999-10-14Version 3.0 messageDavid Aspinall
1999-10-14DocstringDavid Aspinall
1999-10-14Fix missing save-excursion causing bug with proof-process-buffer.David Aspinall
1999-10-14renamed verbatim/verb to text_raw/txt_raw;Makarius Wenzel
1999-10-12Removed note about probs with update()David Aspinall
1999-10-12WordingDavid Aspinall
1999-10-12Note about author added, removed signatures.David Aspinall
1999-10-12This a try for commit, just changed the name of the maintainer of coq.elPierre Courtieu
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-26 07:49:12 +0000