aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-depends.el
Commit message (Expand)AuthorAge
* 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