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
/
pg-user.el
Commit message (
Expand
)
Author
Age
*
Change order of menu
David Aspinall
2002-08-16
*
pg-goals -> pg-assoc
David Aspinall
2002-08-16
*
Fix for moving span duplicable prob. Still not really working
David Aspinall
2002-08-12
*
Generalise proof elements to include comments, show/hiding of comments.
David Aspinall
2002-08-08
*
Add span context menu support for Emacs21.
David Aspinall
2002-08-08
*
Fix condition for displaying dependency menu
David Aspinall
2002-08-08
*
Refactor several variable names; clean up, doc subterm markup and output disp...
David Aspinall
2002-07-16
*
GPL
David Aspinall
2002-06-21
*
Began adding generic line-width adjust
David Aspinall
2002-05-03
*
Year changes
David Aspinall
2002-03-21
*
Bug fix in proof-goto-command-end. Decode x-syms in pg-insert-output-as-comm...
David Aspinall
2002-02-23
*
Improved span moving and navigation commands.
David Aspinall
2001-09-05
*
Add commands to move spans up/down. Enable features only if experimental fla...
David Aspinall
2001-09-04
*
Generalise context menu for other spans; grey out show/hide when unavailable.
David Aspinall
2001-09-03
*
Added copy command, call to dependency menu if proof-depends is loaded.
David Aspinall
2001-08-31
*
pg-insert-last-output-as-comment strips special annotations from last output ...
David Aspinall
2001-08-30
*
Function name fixes, use idiom property in span for popup menu name.
David Aspinall
2001-08-16
*
Clean-up compile
David Aspinall
2001-07-09
*
Copyright date updated
David Aspinall
2001-05-08
*
goalsave -> proof
David Aspinall
2000-12-20
*
Factor out some material from proof-script.el
David Aspinall
2000-12-14