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
Commit message (
Collapse
)
Author
Age
*
Fix autoload for context menu; add proof-shell-show-dependency-cmd.
David Aspinall
2002-08-08
|
*
Prevent proof spans being duplicated.
David Aspinall
2002-08-08
|
*
Docstring
David Aspinall
2002-08-08
|
*
Fix condition for displaying dependency menu
David Aspinall
2002-08-08
|
*
Tweak menu; add proof-shell-show-dependency-cmd
David Aspinall
2002-08-08
|
*
Updated
David Aspinall
2002-08-08
|
*
Allow favourite saving when user wants.
David Aspinall
2002-08-08
|
*
Use glyph for hidden proofs; add open isearch props; tweak element handling fns.
David Aspinall
2002-08-08
|
*
proof-splash-display-image -> proof-get-image; generalise for xpm images.
David Aspinall
2002-08-08
|
*
Added lclam proof site entry
David Aspinall
2002-08-08
|
*
Fix docs
David Aspinall
2002-08-07
|
*
Fix proof-quick-opts-save. Rename proof-dont-switch-windows -> ↵
David Aspinall
2002-08-07
|
|
|
|
proof-three-window-mode.
*
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.
*
Set version tag for new release.
David Aspinall
2002-08-07
|
*
Trace buffer opt always enabled. Failed fix attempt for proof-quick-opts-save.
David Aspinall
2002-08-07
|
*
Add proof-shell-strip-crs-from-output
David Aspinall
2002-08-07
|
*
Reorganized menus; add options save function; fix capitalization of names
David Aspinall
2002-08-07
|
*
Add require, fix menu capitalization.
David Aspinall
2002-08-07
|
*
Menu capitalization; support email addr.
David Aspinall
2002-08-07
|
*
Comments
David Aspinall
2002-08-07
|
*
Autoload fix
David Aspinall
2002-08-07
|
*
Set version tag for new release.
David Aspinall
2002-07-19
|
*
Replace
David Aspinall
2002-07-19
|
*
Set version tag for new release.
David Aspinall
2002-07-19
|
*
Variable name change proof-comment-{start,end}-regexp -> ↵
David Aspinall
2002-07-19
|
|
|
|
proof-script-comment-{start,end}-regexp.
*
Reduce proof-shell-quite-timeout
David Aspinall
2002-07-19
|
*
Move imagep compat code to splash
David Aspinall
2002-07-19
|
*
Make favourites mechanism more robust; add delete command.
David Aspinall
2002-07-19
|
*
Trivially simulate events-to-keys
David Aspinall
2002-07-19
|
*
Dont call dont-show-annotations for GNU Emacs to avoid nasty bug.
David Aspinall
2002-07-18
|
*
Investigation of proof-zap-commas failure in GNU Emacs; comments, no results.
David Aspinall
2002-07-18
|
*
Fix bug in proof-zap-commas-region (which is anyway faulty)
David Aspinall
2002-07-18
|
*
Remove obsolete function
David Aspinall
2002-07-18
|
*
Comments
David Aspinall
2002-07-18
|
*
Remove completion table adjustment fixed in X-Symol since Jun 01.
David Aspinall
2002-07-18
|
*
Add my name to these
David Aspinall
2002-07-18
|
*
Set version tag for new release.
David Aspinall
2002-07-18
|
*
Fix active variable highlighting in Isabelle with X-Symbol.
David Aspinall
2002-07-18
|
*
Add note about proof-generic-state-preserving-p
David Aspinall
2002-07-17
|
*
Set version tag for new release.
David Aspinall
2002-07-17
|
*
Added subterm help popup facility
David Aspinall
2002-07-17
|
*
Add span-string.
David Aspinall
2002-07-17
|
*
Add proof-shell-invisible-cmd-get-result
David Aspinall
2002-07-17
|
*
Add pg-subterm-help-cmd
David Aspinall
2002-07-17
|
*
Cleanups
David Aspinall
2002-07-17
|
*
Fix span-string, span-object
David Aspinall
2002-07-17
|
*
Refactor several variable names; clean up, doc subterm markup and output ↵
David Aspinall
2002-07-16
|
|
|
|
display.
*
Dodgy patch to fix selection ordering of overlays. PBP works in Emacs now.
David Aspinall
2002-07-16
|
*
Set version tag for new release.
David Aspinall
2002-07-16
|
[next]