aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-config.el
Commit message (Expand)AuthorAge
...
* Fix docstrings, remove spurious nullGravatar David Aspinall2009-09-08
* Change type of proof-shell-process-file, proof-shell-compute-new-files-listGravatar David Aspinall2009-09-06
* Clarify that eager message matches are now anchoredGravatar David Aspinall2009-09-06
* Remove use-specials-for-fontifyGravatar David Aspinall2009-09-06
* Remove proof-shell-wakeup-char.Gravatar David Aspinall2009-09-06
* CommentGravatar David Aspinall2009-09-05
* Clean whitespaceGravatar David Aspinall2009-09-05
* Remove proof-shell-prompt-pattern, no longer used.Gravatar David Aspinall2009-09-04
* Add proof-script-evaluate-elisp-comment-regexp security hole.Gravatar David Aspinall2009-09-04
* Remove proof-no-commandGravatar David Aspinall2009-09-04
* Remove some old X-Symbol references; update docs.Gravatar David Aspinall2009-09-01
* Clean up and rearrange variable declaration filesGravatar David Aspinall2009-08-28
* proof-one-command-per-line: change default, use in proof-insert-pbp-command.Gravatar David Aspinall2009-08-20
* proof-resp-font-lock-keywords -> correct name proof-response-font-lock-keywordsGravatar David Aspinall2009-08-20
* DocstringsGravatar David Aspinall2009-08-19
* TidyGravatar David Aspinall2009-08-17
* Fix proof-next-error key bindingGravatar David Aspinall2009-08-17
* Rename proof-shell-process-output -> proof-shell-classify-outputGravatar David Aspinall2009-08-14
* proof-strict-read-only: replace 'strict with t. Add proof-use-parser-cache.Gravatar David Aspinall2009-08-13
* proof-full-annotation: change defaultGravatar David Aspinall2009-08-07
* Name changes and tweaks: proof-full-decoration -> proof-full-decoration,Gravatar David Aspinall2009-08-07
* New configuration variable proof-use-pgip-askprefs. Use setting group names ...Gravatar David Aspinall2009-08-06
* Add proof-colour-locked option to leave locked region background uncoloured.Gravatar David Aspinall2009-07-30
* Add proof state hover messages to proof script, along with useful customization.Gravatar David Aspinall2009-05-26
* Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor c...Gravatar David Aspinall2009-05-26
* Add proof-electric-terminator-noterminator behaviour for IsarGravatar David Aspinall2009-05-26
* Make proof-locked-face much lighterGravatar David Aspinall2008-08-03
* Change for locked face colourGravatar David Aspinall2008-08-03
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Default proof-allow-undo-in-read-only to tGravatar David Aspinall2008-07-21
* Documentation.Gravatar David Aspinall2008-07-10
* unicode-tokens: Experimental multiple font supportGravatar David Aspinall2008-02-17
* Unicode tokens: support face changing via 'font-lock-face'Gravatar David Aspinall2008-02-09
* Add another window system: w32 for win 32.Gravatar David Aspinall2008-01-31
* More apparent decoration for active (sendback) areasGravatar David Aspinall2008-01-31
* Fix RCS tagsGravatar David Aspinall2008-01-30
* Disable experimental features, finally.Gravatar David Aspinall2008-01-30
* Move proof-experimental-features back and make it constant.Gravatar David Aspinall2008-01-29
* Move proof-experimental-featuresGravatar David Aspinall2008-01-29
* Clarify 'proof-allow-undo-in-read-only=nil' only works on GNU EmacsGravatar David Aspinall2008-01-29
* Disable undo in read-only region; add proof-allow-undo-in-read-only settingGravatar David Aspinall2008-01-29
* Experimental features again only for pre-releases.Gravatar David Aspinall2008-01-28
* Also wait on pg-custom before running proof-set-value.Gravatar David Aspinall2008-01-17
* Prevent proof-set-value from operating during compilation.Gravatar David Aspinall2008-01-17
* Mention no experimental featuresGravatar David Aspinall2008-01-17
* Add pg-input-ring-size.Gravatar David Aspinall2008-01-17
* Documentation.Gravatar David Aspinall2008-01-15
* Many rearrangements for compatibility, efficient/correct compilation, namespa...Gravatar David Aspinall2008-01-15
* More doc tidyGravatar David Aspinall2007-12-14
* Remove ancient idea for proof-atomic-sequence-listsGravatar David Aspinall2007-12-14
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-27 22:53:27 +0000