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 (
Collapse
)
Author
Age
*
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 ↵
David Aspinall
2003-06-08
|
|
|
|
on buffer context.
*
Add simple but effective identifier-under-mouse-query command.
David Aspinall
2003-06-08
|
*
Remove proof-trace-output-fontify-enable (unused) in favour of ↵
David Aspinall
2003-06-05
|
|
|
|
proof-trace-output-slow-catchup
*
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 ↵
David Aspinall
2003-03-17
|
|
|
|
menu in place of output highlight setting.
*
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
|
|
|
|
Monnier
*
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 ↵
David Aspinall
2002-08-28
|
|
|
|
dependencies
*
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 ↵
David Aspinall
2002-08-09
|
|
|
|
autosave case.
*
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
|
|
|
|
cygwin32.
*
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
|
*
Refactor several variable names; clean up, doc subterm markup and output ↵
David Aspinall
2002-07-16
|
|
|
|
display.
[next]