aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-config.el
AgeCommit message (Expand)Author
2009-09-04Remove proof-no-commandDavid Aspinall
2009-09-01Remove some old X-Symbol references; update docs.David Aspinall
2009-08-28Clean up and rearrange variable declaration filesDavid Aspinall
2009-08-20proof-one-command-per-line: change default, use in proof-insert-pbp-command.David Aspinall
2009-08-20proof-resp-font-lock-keywords -> correct name proof-response-font-lock-keywordsDavid Aspinall
2009-08-19DocstringsDavid Aspinall
2009-08-17TidyDavid Aspinall
2009-08-17Fix proof-next-error key bindingDavid Aspinall
2009-08-14Rename proof-shell-process-output -> proof-shell-classify-outputDavid Aspinall
2009-08-13proof-strict-read-only: replace 'strict with t. Add proof-use-parser-cache.David Aspinall
2009-08-07proof-full-annotation: change defaultDavid Aspinall
2009-08-07Name changes and tweaks: proof-full-decoration -> proof-full-decoration,David Aspinall
2009-08-06New configuration variable proof-use-pgip-askprefs. Use setting group names ...David Aspinall
2009-07-30Add proof-colour-locked option to leave locked region background uncoloured.David Aspinall
2009-05-26Add proof state hover messages to proof script, along with useful customization.David Aspinall
2009-05-26Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor c...David Aspinall
2009-05-26Add proof-electric-terminator-noterminator behaviour for IsarDavid Aspinall
2008-08-03Make proof-locked-face much lighterDavid Aspinall
2008-08-03Change for locked face colourDavid Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-07-21Default proof-allow-undo-in-read-only to tDavid Aspinall
2008-07-10Documentation.David Aspinall
2008-02-17unicode-tokens: Experimental multiple font supportDavid Aspinall
2008-02-09Unicode tokens: support face changing via 'font-lock-face'David Aspinall
2008-01-31Add another window system: w32 for win 32.David Aspinall
2008-01-31More apparent decoration for active (sendback) areasDavid Aspinall
2008-01-30Fix RCS tagsDavid Aspinall
2008-01-30Disable experimental features, finally.David Aspinall
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, namespa...David Aspinall
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 proof-fa...David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 16:58:45 +0000