aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-config.el
Commit message (Collapse)AuthorAge
* 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, ↵Gravatar David Aspinall2008-01-15
| | | | | | | namespaces fixes. pre-shell-start-hook: remove this, use default names for modes proof-compat: simplify architecture flags, use standard (featurep 'xemacs).
* 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 ↵Gravatar David Aspinall2007-12-14
| | | | proof-face-specs to proof-utils
* 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 ↵Gravatar Makarius Wenzel2006-12-07
| | | | breaks Poly/MK 5;
* Rationalise testing for different values of window-system, to/and support ↵Gravatar David Aspinall2006-10-27
| | | | more Emacs ports easily
* Add buffer history browsingGravatar David Aspinall2006-09-24
|
* Making error highlighting more robust (for both emacsen) and use aGravatar Pierre Courtieu2006-09-06
| | | | span instead of region.
* 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
| | | | | | allows using a span attribute to detect goal commands. I think I modified all modes accordingly.
* 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 ↵Gravatar David Aspinall2006-01-09
| | | | PA->Help anyway
* 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 ↵Gravatar David Aspinall2004-06-16
| | | | setting.
* 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
| | | | | to support multiple files in Coq. Move some keybindings to proof-universal-keys (esp. C-c C-l).
* Add proof-deactivate-scripting-hookGravatar David Aspinall2004-04-22
|
* Add proof-cannot-reopen-processed-files to fix behaviour of multiple files ↵Gravatar David Aspinall2004-04-17
| | | | for Isabelle.
* 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 ↵Gravatar David Aspinall2004-04-06
| | | | end-of-line comments.
* 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
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-09 15:16:59 +0000