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 (
Collapse
)
Author
Age
*
Refactor several variable names; clean up, doc subterm markup and output ↵
David Aspinall
2002-07-16
|
|
|
|
display.
*
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 ↵
David Aspinall
2002-02-23
|
|
|
|
pg-insert-output-as-comment.
*
Improved span moving and navigation commands.
David Aspinall
2001-09-05
|
*
Add commands to move spans up/down. Enable features only if experimental ↵
David Aspinall
2001-09-04
|
|
|
|
flag set
*
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
|
|
|
|
before inserting as comment.
*
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