aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-config.el
Commit message (Expand)AuthorAge
* 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
* PG 3.6: remove Info item from toolbar; it's not very useful and under PA->Hel...Gravatar David Aspinall2006-01-09
* Fix for coloured face specs on AquaemacsGravatar David Aspinall2006-01-08
* added proof-shell-unicode;Gravatar Makarius Wenzel2005-09-14
* added pg-special-char-regexp (used to be a constant in proof-utils.el);Gravatar Makarius Wenzel2005-09-01
* Move some keybindings from script mode to universal keysGravatar David Aspinall2005-08-10
* Key bindings for proof-shell-exit, proof-shell-start.Gravatar David Aspinall2005-05-31
* - shell-command-to-string can fail in various corner cases.Gravatar David Aspinall2005-05-17
* Add hint for proof-next-error. Add proof-shell-quiet-errors as user-level se...Gravatar David Aspinall2004-06-16
* Adjust colours to a lighter scheme.Gravatar David Aspinall2004-06-13
* Add proof-shell-require-command-regexp, proof-done-advancing-require-functionGravatar David Aspinall2004-04-24
* Add proof-deactivate-scripting-hookGravatar David Aspinall2004-04-22
* Add proof-cannot-reopen-processed-files to fix behaviour of multiple files fo...Gravatar David Aspinall2004-04-17
* Lighter background colour for proof-error-faceGravatar David Aspinall2004-04-17
* Change error face to firebrick (again)Gravatar David Aspinall2004-04-15
* Add proof-script-syntax-table-entries, proof-shell-syntax-table-entries.Gravatar David Aspinall2004-04-15
* Add proof-imenu-enable. Other doc tweaks.Gravatar David Aspinall2004-04-14
* Add proof-script-imenu-generic-expression for configuring imenu.Gravatar David Aspinall2004-04-14
* Adjust proof-script-comment-end to fix comment-end to be empty for end-of-lin...Gravatar David Aspinall2004-04-06
* Turn on experimental features for 3.5. Adjust display settings.Gravatar David Aspinall2004-04-02
* Mention importance of proof-shell-annotated-prompt-regexp.Gravatar David Aspinall2004-03-30
* bug fix in holes (call to proof-indent-line instead of funcallGravatar Pierre Courtieu2004-03-15
* Comments.Gravatar David Aspinall2004-02-28
* Update email and web addressesGravatar David Aspinall2004-02-08
* Remove more proofgeneral.org mail aliasesGravatar David Aspinall2004-02-07
* Fix domain nameGravatar David Aspinall2003-12-11
* Add interactive input setting, and extra flags for action.Gravatar David Aspinall2003-10-05
* Extend proof-shell-identifier-under-mouse to allow regions, and also depend o...Gravatar David Aspinall2003-06-08
* Add simple but effective identifier-under-mouse-query command.Gravatar David Aspinall2003-06-08
* Remove proof-trace-output-fontify-enable (unused) in favour of proof-trace-ou...Gravatar David Aspinall2003-06-05
* By default, do not move pointer on interrupt, only error; tune hints for spansGravatar David Aspinall2003-06-05
* Add pg-show-hintsGravatar David Aspinall2003-05-24
* Note about auto deactivate scripting actionGravatar David Aspinall2003-05-21