aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
1999-10-26isa-keywords-save: removed "result";Makarius Wenzel
isa-keywords-commands: added "ProofGeneral.repeat_undo"; added isa-keywords-proof-commands; added isa-verbatim;
1999-10-26ProofGeneral.kill_proof: clears goals buffer;Makarius Wenzel
ProofGeneral.restart; ProofGeneral.inform_file_processed/retracted; improved proof-shell-compute-new-files-list (more robust);
1999-10-26replaced remove_thy by kill_thy (more robust);Makarius Wenzel
1999-10-26added kill_thy, touch_child_thys;Makarius Wenzel
internal ProofGeneral commands;
1999-10-25Implementation of proof-auto-multiple-files.David Aspinall
1999-10-25Trivial tests for auto multiple files.David Aspinall
1999-10-25Bug fix for proof-re-end-of-cmd (regexp-quote proof-terminal-string)David Aspinall
1999-10-25Added ProofGeneral.texi to tags target.David Aspinall
1999-10-25Added proof-auto-multiple-files. Docstring addition.David Aspinall
1999-10-25Made proof-warning and friends take arg list.David Aspinall
1999-10-22update by DvO;Makarius Wenzel
1999-10-22Set version tag for new release.David Aspinall
1999-10-22isar-remove-file: compare basenames only;Makarius Wenzel
1999-10-21Typo.David Aspinall
1999-10-21Trivial changesDavid Aspinall
1999-10-21Set version tag for new release.David Aspinall
1999-10-21Added inform-file-retracted-cmd settingDavid Aspinall
1999-10-21Altered slightly to remove contentious phrase.David Aspinall
1999-10-21Added symmetric proof-shell-inform-file-retracted-cmd setting to correspondDavid Aspinall
with the state change of a buffer from completely processed to partly processed.
1999-10-21Documentation about the improved multiple file handling functions.David Aspinall
1999-10-21Changed name of proof-shell-cd-cmd for uniformity.David Aspinall
1999-10-21todo to improve proof-script-next-entity-regexps.David Aspinall
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
tuned;
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 ↵David Aspinall
close off to (proof-script-end), not (point-max).
1999-10-19Deactivate scripting before retracting a theory file. Fix for DvO's report.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 08:07:46 +0000