aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-config.el
AgeCommit message (Collapse)Author
2009-11-28Remove doc mention of obsolete function `pg-assoc-analyse-structure'.David Aspinall
2009-10-15proof-script-use-old-parser: remove configuration option and cleanupDavid Aspinall
2009-10-14Remove `next-entity' settings for func-menu.David Aspinall
2009-09-28TypoDavid Aspinall
2009-09-28Functions find-and-forget and count-undos now return lists of commandsDavid Aspinall
2009-09-11Fix docsDavid Aspinall
2009-09-10Experimental changes to queue several commands at once and to allow ↵David Aspinall
pre-processing of commands when they're queued from script
2009-09-10Clean compileDavid Aspinall
2009-09-09Add proof-shell-font-lock-keywords, proof-arbitrary-undo-positionsDavid Aspinall
2009-09-09p-s-classify-output -> p-s-handle-output, and simplify system-specific hookDavid Aspinall
2009-09-09proof-shell-quiet-errors: move to user opts custom groupDavid Aspinall
2009-09-08proof-kill-goal-command: default to nil, not empty stringDavid Aspinall
2009-09-08Remove barely useful proof-shell-abort-goal-regexp (only served to sanitize ↵David Aspinall
LEGO messages)
2009-09-08Fix docstrings, remove spurious nullDavid Aspinall
2009-09-06Change type of proof-shell-process-file, proof-shell-compute-new-files-listDavid Aspinall
2009-09-06Clarify that eager message matches are now anchoredDavid Aspinall
2009-09-06Remove use-specials-for-fontifyDavid Aspinall
2009-09-06Remove proof-shell-wakeup-char.David Aspinall
Clarify purpose and meaning of `proof-shell-end-goals-regexp'.
2009-09-05CommentDavid Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-09-04Remove proof-shell-prompt-pattern, no longer used.David Aspinall
2009-09-04Add proof-script-evaluate-elisp-comment-regexp security hole.David Aspinall
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
proof-shell-identifier-under-mouse-cmd -> proof-query-identifier-command.
2009-08-06New configuration variable proof-use-pgip-askprefs. Use setting group names ↵David Aspinall
in menu
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 ↵David Aspinall
cleanups
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
Really we should use default here to get rid of this list.
2008-01-31More apparent decoration for active (sendback) areasDavid Aspinall
2008-01-30Fix RCS tagsDavid Aspinall
2008-01-30Disable experimental features, finally.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 03:37:04 +0000