aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Collapse)Author
2004-08-26Try to avoid filtering/urgent-message-processing of inputDavid Aspinall
2004-08-26Fixes for idtablesDavid Aspinall
2004-08-25New files.David Aspinall
2004-08-25Set version tag for new release.David Aspinall
2004-08-25Add pg-internal-warning. Use display-warning for that and proof-debug, if ↵David Aspinall
available.
2004-08-25Use proof-general-short-versionDavid Aspinall
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
Move architecture flags to proof-compat
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
Protect x-symbol-shell-config against failure of the init-cmd.
2004-08-24Simplify clear buffer callsDavid Aspinall
2004-08-24Make proof-clean-buffer work with dead buffers.David Aspinall
Add x-symbol-version to bug report variables.
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 ↵David Aspinall
Isabelle/Isar
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 ↵David Aspinall
setting.
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
buffer switched.
2004-05-06Fixup problem with whitespace being left after texi comments (reason:David Aspinall
\\s-*$ was matching newlines greedily). Normalize whitespace when inserting new comments. Allow prefix-arg to texi-docstring-magic when running interactively, to forgive undefined symbols (handy for cleaning buffers of @def's).
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
to support multiple files in Coq. Move some keybindings to proof-universal-keys (esp. C-c C-l).
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 ↵David Aspinall
longer inherited
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-17 07:17:18 +0000