aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
2004-06-23Disable provers whose file extensions clash with sml mode. Default to Isabe...David Aspinall
2004-06-17Set version tag for new release.David Aspinall
2004-06-16Add hint for proof-next-error. Add proof-shell-quiet-errors as user-level se...David Aspinall
2004-06-16Set version tag for new release.David Aspinall
2004-06-13Generalise proof-def-invisible.David Aspinall
2004-06-13Adjust colours to a lighter scheme.David Aspinall
2004-06-04Reinstate escapes for @ { }David Aspinall
2004-06-04Set version tag for new release.David Aspinall
2004-06-03proof-goto-end-of-locked: add push-mark; fix: goto end of locked even ifDavid Aspinall
2004-05-06Fixup problem with whitespace being left after texi comments (reason:David Aspinall
2004-04-27Allow tracing slow mode to last 2 seconds. Make message more understandable.David Aspinall
2004-04-27condition-case -> unwind-protectDavid Aspinall
2004-04-27Add optional (prefix) arg to proof-layout-windows.David Aspinall
2004-04-27Make response buffer hint shorterDavid Aspinall
2004-04-26Add compatibility hack for Emacs 21.2.1 customize-menu-createDavid Aspinall
2004-04-26Allow proof-goto-end-of-locked to work again if no active scripting buffer.David Aspinall
2004-04-26Allow CMD to be nil in proof-shell-invisible-command (failsafe).David Aspinall
2004-04-24Set version tag for new release.David Aspinall
2004-04-24Add proof-shell-require-command-regexp, proof-done-advancing-require-functionDavid Aspinall
2004-04-22Add proof-save-some-buffersDavid Aspinall
2004-04-22Add proof-deactivate-scripting-hookDavid Aspinall
2004-04-22Add proof-deactivate-scripting-hook. Also note activate-script-hook is no lo...David Aspinall
2004-04-22Allow empty :setting, :eval in defpacustom.David Aspinall
2004-04-21Set version tag for new release.David Aspinall
2004-04-18Set version tag for new release.David Aspinall
2004-04-18Set version tag for new release.David Aspinall
2004-04-18Set version tag for new release.David Aspinall
2004-04-18Obey proof-eagerly-raise in proof-layout-windows.David Aspinall
2004-04-18Add proof-eagerly-raise setting, disable it for trace buffer.David Aspinall
2004-04-18Try to stop proof-delete-other-frames from bringing up newDavid Aspinall
2004-04-18Try to stop frame proliferation: let proof-shell-start make frames,David Aspinall
2004-04-18Add save-selected-frame for GNU EmacsDavid Aspinall
2004-04-18Comments.David Aspinall
2004-04-18Remove faulty compatiblity for XE 21.1David Aspinall
2004-04-17Set version tag for new release.David Aspinall
2004-04-17Set version tag for new release.David Aspinall
2004-04-17Set version tag for new release.David Aspinall
2004-04-17Minor changes to avoid some compiler warningsDavid Aspinall
2004-04-17Fix bug in replace-in-string for GNU EmacsDavid Aspinall
2004-04-17Clarify that it is right to query saves in proof-retract-until-point's callDavid Aspinall
2004-04-17Oops, remove junk.David Aspinall
2004-04-17Escape the string from substitute-command-keys in proof-defshortcut, proof-de...David Aspinall
2004-04-17Comments.David Aspinall
2004-04-17Add proof-cannot-reopen-processed-files to fix behaviour of multiple files fo...David Aspinall
2004-04-17Add proof-cannot-reopen-processed-files to fix behaviour of multiple files fo...David Aspinall
2004-04-17Capitalization.David Aspinall
2004-04-17Lighter background colour for proof-error-faceDavid Aspinall
2004-04-16Add boundp check to proof-map-multiple-frame-specifiers, for some back compat...David Aspinall
2004-04-16Spurious "'sDavid Aspinall
2004-04-16Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:06:44 +0000