aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-shell.el
AgeCommit message (Expand)Author
1999-11-19Added pbp-yank-subterm, changed mouse bindings for goals buffer.David Aspinall
1999-11-18Automatically generate special-display-regexps entry, andDavid Aspinall
1999-11-17Bind mouse 2 as well as mouse 3 for pbpDavid Aspinall
1999-11-17Added some new code from another patch, but commented out for now.David Aspinall
1999-11-17Fix mouse bindings to be different for FSF/XEmacs versions.David Aspinall
1999-11-17Fix a few bugs/probs shown up by byte-compiling.David Aspinall
1999-11-16Strip CRs from minibuf messages for FSF's sake to remove ^Js. Attempt to fi...David Aspinall
1999-11-16Added proof-mouse-goto-point, moved proof-mouse-track-insert to proof-scriptDavid Aspinall
1999-11-16Fix to shell filter for non-wakeup char instances of PG.David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 07:58:15 +0000