aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
2004-08-25Extended and updated PGIP support for PGIP 2.XDavid Aspinall
2004-08-25Overhaul to use xml.el parsing and printing.David Aspinall
2004-08-25Extensions to support PGIP 2.X settings format.David Aspinall
2004-08-25CommentDavid Aspinall
2004-08-25Add pg-internal-warningDavid Aspinall
2004-08-25Add lib/ to load-path. Define proof-general-short-version.David Aspinall
2004-08-25Renamed fileDavid Aspinall
2004-08-25Add architecture flags; comments.David Aspinall
2004-08-25Renamed fileDavid Aspinall
2004-08-25Renamed fileDavid Aspinall
2004-08-24Don't make proof-shell-insert-hook buffer local.David Aspinall
2004-08-24Simplify clear buffer callsDavid Aspinall
2004-08-24Make proof-clean-buffer work with dead buffers.David Aspinall
2004-08-16Note about use of this lib.David Aspinall
2004-08-10Set version tag for new release.David Aspinall
2004-08-10Add error handler for nesting too deep in proof-fontify region.David Aspinall
2004-07-23Set version tag for new release.David Aspinall
2004-06-24Improve handling of intermittent fontification for trace buffers.David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-04 13:01:22 +0000