aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-config.el
Commit message (Expand)AuthorAge
* 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
* Cleanups with M-x checkdoc.Gravatar David Aspinall2007-12-14
* Move x-symbol-language to avoid eval of proof-assistant-symbol; move proof-fa...Gravatar David Aspinall2007-12-14
* Rename: proof-show-debug-messages -> proof-general-debugGravatar David Aspinall2007-12-14
* Remove qed/goal from toolbar; use info icon. Add maths-menu custom var.Gravatar David Aspinall2007-12-13
* Comments.Gravatar David Aspinall2007-12-10
* Shorten tooltipGravatar David Aspinall2007-12-10
* defconst proof-warning-face -- as expected by GNU Emacs;Gravatar Makarius Wenzel2007-11-04
* Fix attribute for proof-active-area-faceGravatar David Aspinall2007-08-19
* proof-active-area-face: highlighting face for active areaGravatar David Aspinall2007-08-19
* Add support for sending back literal commands reusing PBP markup mechanisms.Gravatar David Aspinall2007-08-14
* Make proof-shell-unicode non-nil by defaultGravatar David Aspinall2007-04-30
* Remove proof-indent-pad-eol atrocityGravatar David Aspinall2007-02-28
* Tweak.Gravatar David Aspinall2007-01-20
* proof-shell-pre-interrupt-hook: removed obsolete Poly/ML 3 setup, which break...Gravatar Makarius Wenzel2006-12-07
* Rationalise testing for different values of window-system, to/and support mor...Gravatar David Aspinall2006-10-27
* Add buffer history browsingGravatar David Aspinall2006-09-24
* Making error highlighting more robust (for both emacsen) and use aGravatar Pierre Courtieu2006-09-06
* Error highliting in coq now worksGravatar Pierre Courtieu2006-09-05
* Comments and docstring fixes in lib and generic.Gravatar Pierre Courtieu2006-08-23
* Changed the type of proof-goal-command-p. It takes now a span, whichGravatar Pierre Courtieu2006-04-26
* Add back lost editsGravatar David Aspinall2006-02-14
* Add <PA>-prog-args and <PA>-prog-envGravatar David Aspinall2006-02-14
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 11:20:30 +0000