aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-depends.el
AgeCommit message (Expand)Author
2020-04-15Span menu entry for proof using annotation + doc.Pierre Courtieu
2020-04-10Fixed proof using annotation mechanism.Pierre Courtieu
2018-12-26Make coq-mode work without generic/proof-*Stefan Monnier
2018-12-15Prepend cl- to more c[ad]+r instancesClément Pit-Claudel
2018-12-13Use `cl-lib` instead of `cl` everywhereStefan Monnier
2018-08-23Fix most doc issues raised by (checkdoc)Erik Martin-Dorel
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2014-06-06Don't mess with overlay priorities.Stefan Monnier
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-01-31 11:36:18 +0000