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-depends.el
Commit message (
Collapse
)
Author
Age
*
Comments
David Aspinall
2004-04-02
|
*
Update email and web addresses
David Aspinall
2004-02-08
|
*
Change to proof-shell-theorem-dependency-regexp; also add code to make ↵
David Aspinall
2002-08-28
|
|
|
|
nested submenus of deps.
*
Docstring.
David Aspinall
2002-08-16
|
*
Fix dep highlighting for Emacs 21 by setting priorities.
David Aspinall
2002-08-08
|
*
Fix autoload for context menu; add proof-shell-show-dependency-cmd.
David Aspinall
2002-08-08
|
*
Add require, fix menu capitalization.
David Aspinall
2002-08-07
|
*
GPL
David Aspinall
2002-06-21
|
*
Year changes
David Aspinall
2002-03-21
|
*
Use pg-set-span-helphightlights for unhighlighting.
David Aspinall
2001-09-03
|
*
(Almost) complete rewrite
David Aspinall
2001-08-31
|
*
Clean up of proof-depends
David Aspinall
2001-08-31
|
*
Update comments
David Aspinall
2000-09-23
|
*
Added Fiona's changes, cleaned up a little bit with header and footer
David Aspinall
2000-08-14
|
*
functions for manipulating theorem dependencies
David Aspinall
2000-07-19