aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-config.el
AgeCommit message (Collapse)Author
2008-01-29Move proof-experimental-features back and make it constant.David Aspinall
2008-01-29Move proof-experimental-featuresDavid Aspinall
2008-01-29Clarify 'proof-allow-undo-in-read-only=nil' only works on GNU EmacsDavid Aspinall
2008-01-29Disable undo in read-only region; add proof-allow-undo-in-read-only settingDavid Aspinall
2008-01-28Experimental features again only for pre-releases.David Aspinall
2008-01-17Also wait on pg-custom before running proof-set-value.David Aspinall
2008-01-17Prevent proof-set-value from operating during compilation.David Aspinall
2008-01-17Mention no experimental featuresDavid Aspinall
2008-01-17Add pg-input-ring-size.David Aspinall
2008-01-15Documentation.David Aspinall
2008-01-15Many rearrangements for compatibility, efficient/correct compilation, ↵David Aspinall
namespaces fixes. pre-shell-start-hook: remove this, use default names for modes proof-compat: simplify architecture flags, use standard (featurep 'xemacs).
2007-12-14More doc tidyDavid Aspinall
2007-12-14Remove ancient idea for proof-atomic-sequence-listsDavid Aspinall
2007-12-14Cleanups with M-x checkdoc.David Aspinall
2007-12-14Move x-symbol-language to avoid eval of proof-assistant-symbol; move ↵David Aspinall
proof-face-specs to proof-utils
2007-12-14Rename: proof-show-debug-messages -> proof-general-debugDavid Aspinall
2007-12-13Remove qed/goal from toolbar; use info icon. Add maths-menu custom var.David Aspinall
2007-12-10Comments.David Aspinall
2007-12-10Shorten tooltipDavid Aspinall
2007-11-04defconst proof-warning-face -- as expected by GNU Emacs;Makarius Wenzel
2007-08-19Fix attribute for proof-active-area-faceDavid Aspinall
2007-08-19proof-active-area-face: highlighting face for active areaDavid Aspinall
2007-08-14Add support for sending back literal commands reusing PBP markup mechanisms.David Aspinall
2007-04-30Make proof-shell-unicode non-nil by defaultDavid Aspinall
2007-02-28Remove proof-indent-pad-eol atrocityDavid Aspinall
2007-01-20Tweak.David Aspinall
2006-12-07proof-shell-pre-interrupt-hook: removed obsolete Poly/ML 3 setup, which ↵Makarius Wenzel
breaks Poly/MK 5;
2006-10-27Rationalise testing for different values of window-system, to/and support ↵David Aspinall
more Emacs ports easily
2006-09-24Add buffer history browsingDavid Aspinall
2006-09-06Making error highlighting more robust (for both emacsen) and use aPierre Courtieu
span instead of region.
2006-09-05Error highliting in coq now worksPierre Courtieu
2006-08-23Comments and docstring fixes in lib and generic.Pierre Courtieu
2006-04-26Changed the type of proof-goal-command-p. It takes now a span, whichPierre Courtieu
allows using a span attribute to detect goal commands. I think I modified all modes accordingly.
2006-02-14Add back lost editsDavid Aspinall
2006-02-14Add <PA>-prog-args and <PA>-prog-envDavid Aspinall
2006-01-09PG 3.6: remove Info item from toolbar; it's not very useful and under ↵David Aspinall
PA->Help anyway
2006-01-08Fix for coloured face specs on AquaemacsDavid Aspinall
2005-09-14added proof-shell-unicode;Makarius Wenzel
2005-09-01added pg-special-char-regexp (used to be a constant in proof-utils.el);Makarius Wenzel
2005-08-10Move some keybindings from script mode to universal keysDavid Aspinall
2005-05-31Key bindings for proof-shell-exit, proof-shell-start.David Aspinall
2005-05-17- shell-command-to-string can fail in various corner cases.David Aspinall
2004-06-16Add hint for proof-next-error. Add proof-shell-quiet-errors as user-level ↵David Aspinall
setting.
2004-06-13Adjust colours to a lighter scheme.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-deactivate-scripting-hookDavid Aspinall
2004-04-17Add proof-cannot-reopen-processed-files to fix behaviour of multiple files ↵David Aspinall
for Isabelle.
2004-04-17Lighter background colour for proof-error-faceDavid Aspinall
2004-04-15Change error face to firebrick (again)David Aspinall
2004-04-15Add proof-script-syntax-table-entries, proof-shell-syntax-table-entries.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 06:23:31 +0000