aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-shell.el
AgeCommit message (Expand)Author
1999-11-15docstringDavid Aspinall
1999-11-15proof-grab-lock calls proof-shell-ready-prover with queuemode arg. Docstring...David Aspinall
1999-11-15Fix for FSF Emacs. Added timeout arg to proof-shell-wait.David Aspinall
1999-11-14Many robustness improvements for error and interrupt handling:David Aspinall
1999-11-14proof-nested-goals-allowed -> proof-completed-proof-behaviourDavid Aspinall
1999-11-13commentsDavid Aspinall
1999-11-12Added ACTION to proof-shell-insert so proof-shell-insert-hook can test class ...David Aspinall
1999-11-12Made display table stuff interactive.David Aspinall
1999-11-12Fixes for response buffer display, x-symbol, output formatting.David Aspinall
1999-11-11Added option for sending qed output to goals buffer for IsabelleDavid Aspinall
1999-11-11small changes to plastic modePaul Callaghan
1999-11-11Next round of fixups for font-lock and x-symbol.David Aspinall
1999-11-11Extensive fixes for x-symbol and font-lock.David Aspinall
1999-11-11Patches for urgent message processing.David Aspinall
1999-11-10Moved utility function proof-files-to-buffers to proof.el. Fixed local varDavid Aspinall
1999-11-09Generic support for x-symbol tuned up.David Aspinall
1999-11-08Provisional updates for x-symbol support (incomplete)David Aspinall
1999-10-27update of x-symbol stuff by DvO;Makarius Wenzel
1999-10-25Bug fix for proof-re-end-of-cmd (regexp-quote proof-terminal-string)David Aspinall
1999-10-21docstringDavid Aspinall
1999-10-15FIRST ATTEMPT AT CANY QUEUE HANDLING. Extending regions when advancing patch.David Aspinall
1999-10-15Failed attempt to fix sentinel problemDavid Aspinall
1999-10-15comments added.David Aspinall
1999-10-15Disabled proliferation of proof shell buffers.David Aspinall
1999-10-14DocstringDavid Aspinall
1999-10-06Comments in proof-shell-filter.David Aspinall
1999-10-06Speed optimizations, part I.David Aspinall
1999-10-06Made new command proof-cd to cd to the directory of the currentDavid Aspinall
1999-10-06Fixed coalescing of error messages: all error messages fromDavid Aspinall
1999-10-06Added proof-tidy-response user option.David Aspinall
1999-10-01Fix bug for proof-shell-leave-annotations-in-output.David Aspinall
1999-09-29Unhappily added proof-shell-leave-annotations-in-output hack.David Aspinall
1999-09-29Extended documentation for proof-shell-restart.David Aspinall
1999-09-29Re-enabled proof-by-pointing for testing purposes only. Fixed a bug.David Aspinall
1999-09-29Improved proof-copy-span and renamed to proof-mouse-track-insert.David Aspinall
1999-09-29Re-enabled and renamed proof-send-span: becomes proof-copy-span bound to C-bu...David Aspinall
1999-09-28More reorganizing of menus and keybindings with aim of usability in mind.David Aspinall
1999-09-28Reorganization of menus: made a single menu but flattened Scripting submenu.David Aspinall
1999-09-23Trivial.David Aspinall
1999-09-22proof-completed-regexp: match number 1 is response text;Makarius Wenzel
1999-09-22WhitespaceDavid Aspinall
1999-09-21Comment fix.David Aspinall
1999-09-21Robustification so that new instances are easier to addDavid Aspinall
1999-09-21proof-shell-grab-lock runs proof-state-change-hook.David Aspinall
1999-09-21Callback for proof-shell-done-invisible now runs proof-state-change-hook.David Aspinall
1999-09-13Fix so that buffer names are shorter (esp for Coq).David Aspinall
1999-09-09tuned x-symbol setup (DvO);Makarius Wenzel
1999-08-23FIXME to add menu to goals buffer, to match response buffer menu.David Aspinall
1999-08-20Fix for process kill timeout bug.David Aspinall
1999-08-20prefer proof-shell-interrupt-regexp over proof-shell-error-regexpMakarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 18:36:24 +0000