aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-depends.el
Commit message (Expand)AuthorAge
* CommentsGravatar David Aspinall2004-04-02
* Update email and web addressesGravatar David Aspinall2004-02-08
* Change to proof-shell-theorem-dependency-regexp; also add code to make nested...Gravatar David Aspinall2002-08-28
* Docstring.Gravatar David Aspinall2002-08-16
* Fix dep highlighting for Emacs 21 by setting priorities.Gravatar David Aspinall2002-08-08
* Fix autoload for context menu; add proof-shell-show-dependency-cmd.Gravatar David Aspinall2002-08-08
* Add require, fix menu capitalization.Gravatar David Aspinall2002-08-07
* GPLGravatar David Aspinall2002-06-21
* Year changesGravatar David Aspinall2002-03-21
* Use pg-set-span-helphightlights for unhighlighting.Gravatar David Aspinall2001-09-03
* (Almost) complete rewriteGravatar David Aspinall2001-08-31
* Clean up of proof-dependsGravatar David Aspinall2001-08-31
* Update commentsGravatar David Aspinall2000-09-23
* Added Fiona's changes, cleaned up a little bit with header and footerGravatar David Aspinall2000-08-14
* functions for manipulating theorem dependenciesGravatar David Aspinall2000-07-19