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
...
*
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
*
By default, do not move pointer on interrupt, only error; tune hints for spans
David Aspinall
2003-06-05
*
Add pg-show-hints
David Aspinall
2003-05-24
*
Note about auto deactivate scripting action
David Aspinall
2003-05-21
*
Default to not using pad-eol
David Aspinall
2003-05-20
*
Add proof-indent-pad-eol for prettifying colouring in XEmacs
David Aspinall
2003-04-05
*
Allow proof-strict-read-only to be changed dyamically, add to quick opts menu...
David Aspinall
2003-03-17
*
Add support for MMM mode
David Aspinall
2003-02-18
*
Doc generalisation of proof-script-command-end-regexp.
David Aspinall
2003-02-05
*
Add followdown
David Aspinall
2002-12-29
*
FIXME
David Aspinall
2002-11-20
*
Add proof-shell-issue-pgip-cmd
David Aspinall
2002-11-14
*
Add proof-shrink-windows-tofit option.
David Aspinall
2002-09-11
*
Docstrings, setting for thms buffer
David Aspinall
2002-09-04
*
Improved implementation of zap-commas font lock behaviour, patch from Stefan ...
David Aspinall
2002-08-31
*
Try to reduce contrast for highlighting face
David Aspinall
2002-08-31
*
Switch to using new parser by default. Disable fly-past-comments by default.
David Aspinall
2002-08-30
*
Strict read works on GNU Emacs 21.2.
David Aspinall
2002-08-30
*
Change proof-shell-theorem-dependency-regexp to use two pieces: names and dep...
David Aspinall
2002-08-28
*
Add proof-shell-theorem-dependency-list-split
David Aspinall
2002-08-28
*
Add C-c C-w to universal keys.
David Aspinall
2002-08-27
*
Menu name
David Aspinall
2002-08-27
*
Tweaks to faces. Set visible default for tactics-name-face.
David Aspinall
2002-08-16
*
Add context menu extensions, query dependencies cmd
David Aspinall
2002-08-16
*
Refactoring
David Aspinall
2002-08-15
*
Docstring
David Aspinall
2002-08-12
*
Docstring
David Aspinall
2002-08-12
*
Refactor proof-done-advancing by abstracting out new functions; fixes for aut...
David Aspinall
2002-08-09
*
Add menu entry for toggling visibility
David Aspinall
2002-08-09
*
Generalise proof elements to include comments, show/hiding of comments.
David Aspinall
2002-08-08
*
Enable exper features for pre-releases automatically.
David Aspinall
2002-08-08
*
Tweak menu; add proof-shell-show-dependency-cmd
David Aspinall
2002-08-08
*
Fix docs
David Aspinall
2002-08-07
*
Rename proof-dont-switch-windows -> proof-three-window-mode
David Aspinall
2002-08-07
*
Default for proof-shell-strip-crs-from-output altered for Norbert Voelker to ...
David Aspinall
2002-08-07
*
Add proof-shell-strip-crs-from-output
David Aspinall
2002-08-07
*
Menu capitalization; support email addr.
David Aspinall
2002-08-07
*
Comments
David Aspinall
2002-08-07
*
Reduce proof-shell-quite-timeout
David Aspinall
2002-07-19
*
Comments
David Aspinall
2002-07-18
*
Fix active variable highlighting in Isabelle with X-Symbol.
David Aspinall
2002-07-18
*
Add pg-subterm-help-cmd
David Aspinall
2002-07-17
[prev]
[next]