aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-depends.el
AgeCommit message (Expand)Author
2010-08-08Checkdoc cleanupsDavid Aspinall
2009-12-02Fix to last patch for face saving (untested still).David Aspinall
2009-12-02Better approximation of restoring old highlighting, by caching saved face.David Aspinall
2009-11-28*** empty log message ***David Aspinall
2009-09-07mapcar -> dolistDavid Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2008-01-16Reduce compiler warnings. Minor fixes.David Aspinall
2008-01-15Many rearrangements for compatibility, efficient/correct compilation, namespa...David Aspinall
2004-04-02CommentsDavid Aspinall
2004-02-08Update email and web addressesDavid Aspinall
2002-08-28Change to proof-shell-theorem-dependency-regexp; also add code to make nested...David Aspinall
2002-08-16Docstring.David Aspinall
2002-08-08Fix dep highlighting for Emacs 21 by setting priorities.David Aspinall
2002-08-08Fix autoload for context menu; add proof-shell-show-dependency-cmd.David Aspinall
2002-08-07Add require, fix menu capitalization.David Aspinall
2002-06-21GPLDavid Aspinall
2002-03-21Year changesDavid Aspinall
2001-09-03Use pg-set-span-helphightlights for unhighlighting.David Aspinall
2001-08-31(Almost) complete rewriteDavid Aspinall
2001-08-31Clean up of proof-dependsDavid Aspinall
2000-09-23Update commentsDavid Aspinall
2000-08-14Added Fiona's changes, cleaned up a little bit with header and footerDavid Aspinall
2000-07-19functions for manipulating theorem dependenciesDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-13 01:44:01 +0000