index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
/
proof-config.el
Commit message (
Expand
)
Author
Age
...
*
Move x-symbol-language to avoid eval of proof-assistant-symbol; move proof-fa...
David Aspinall
2007-12-14
*
Rename: proof-show-debug-messages -> proof-general-debug
David Aspinall
2007-12-14
*
Remove qed/goal from toolbar; use info icon. Add maths-menu custom var.
David Aspinall
2007-12-13
*
Comments.
David Aspinall
2007-12-10
*
Shorten tooltip
David Aspinall
2007-12-10
*
defconst proof-warning-face -- as expected by GNU Emacs;
Makarius Wenzel
2007-11-04
*
Fix attribute for proof-active-area-face
David Aspinall
2007-08-19
*
proof-active-area-face: highlighting face for active area
David Aspinall
2007-08-19
*
Add support for sending back literal commands reusing PBP markup mechanisms.
David Aspinall
2007-08-14
*
Make proof-shell-unicode non-nil by default
David Aspinall
2007-04-30
*
Remove proof-indent-pad-eol atrocity
David Aspinall
2007-02-28
*
Tweak.
David Aspinall
2007-01-20
*
proof-shell-pre-interrupt-hook: removed obsolete Poly/ML 3 setup, which break...
Makarius Wenzel
2006-12-07
*
Rationalise testing for different values of window-system, to/and support mor...
David Aspinall
2006-10-27
*
Add buffer history browsing
David Aspinall
2006-09-24
*
Making error highlighting more robust (for both emacsen) and use a
Pierre Courtieu
2006-09-06
*
Error highliting in coq now works
Pierre Courtieu
2006-09-05
*
Comments and docstring fixes in lib and generic.
Pierre Courtieu
2006-08-23
*
Changed the type of proof-goal-command-p. It takes now a span, which
Pierre Courtieu
2006-04-26
*
Add back lost edits
David Aspinall
2006-02-14
*
Add <PA>-prog-args and <PA>-prog-env
David Aspinall
2006-02-14
*
PG 3.6: remove Info item from toolbar; it's not very useful and under PA->Hel...
David Aspinall
2006-01-09
*
Fix for coloured face specs on Aquaemacs
David Aspinall
2006-01-08
*
added proof-shell-unicode;
Makarius Wenzel
2005-09-14
*
added pg-special-char-regexp (used to be a constant in proof-utils.el);
Makarius Wenzel
2005-09-01
*
Move some keybindings from script mode to universal keys
David Aspinall
2005-08-10
*
Key bindings for proof-shell-exit, proof-shell-start.
David Aspinall
2005-05-31
*
- shell-command-to-string can fail in various corner cases.
David Aspinall
2005-05-17
*
Add hint for proof-next-error. Add proof-shell-quiet-errors as user-level se...
David Aspinall
2004-06-16
*
Adjust colours to a lighter scheme.
David Aspinall
2004-06-13
*
Add proof-shell-require-command-regexp, proof-done-advancing-require-function
David Aspinall
2004-04-24
*
Add proof-deactivate-scripting-hook
David Aspinall
2004-04-22
*
Add proof-cannot-reopen-processed-files to fix behaviour of multiple files fo...
David Aspinall
2004-04-17
*
Lighter background colour for proof-error-face
David Aspinall
2004-04-17
*
Change error face to firebrick (again)
David Aspinall
2004-04-15
*
Add proof-script-syntax-table-entries, proof-shell-syntax-table-entries.
David Aspinall
2004-04-15
*
Add proof-imenu-enable. Other doc tweaks.
David Aspinall
2004-04-14
*
Add proof-script-imenu-generic-expression for configuring imenu.
David Aspinall
2004-04-14
*
Adjust proof-script-comment-end to fix comment-end to be empty for end-of-lin...
David Aspinall
2004-04-06
*
Turn on experimental features for 3.5. Adjust display settings.
David Aspinall
2004-04-02
*
Mention importance of proof-shell-annotated-prompt-regexp.
David Aspinall
2004-03-30
*
bug fix in holes (call to proof-indent-line instead of funcall
Pierre Courtieu
2004-03-15
*
Comments.
David Aspinall
2004-02-28
*
Update email and web addresses
David Aspinall
2004-02-08
*
Remove more proofgeneral.org mail aliases
David Aspinall
2004-02-07
*
Fix domain name
David Aspinall
2003-12-11
*
Add interactive input setting, and extra flags for action.
David Aspinall
2003-10-05
*
Extend proof-shell-identifier-under-mouse to allow regions, and also depend o...
David Aspinall
2003-06-08
*
Add simple but effective identifier-under-mouse-query command.
David Aspinall
2003-06-08
*
Remove proof-trace-output-fontify-enable (unused) in favour of proof-trace-ou...
David Aspinall
2003-06-05
[prev]
[next]