aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-depends.el
Commit message (Expand)AuthorAge
* Make coq-mode work without generic/proof-*Gravatar Stefan Monnier2018-12-26
* Prepend cl- to more c[ad]+r instancesGravatar Clément Pit-Claudel2018-12-15
* Use `cl-lib` instead of `cl` everywhereGravatar Stefan Monnier2018-12-13
* Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* Don't mess with overlay priorities.Gravatar Stefan Monnier2014-06-06
* Checkdoc cleanupsGravatar David Aspinall2010-08-08
* Fix to last patch for face saving (untested still).Gravatar David Aspinall2009-12-02
* Better approximation of restoring old highlighting, by caching saved face.Gravatar David Aspinall2009-12-02
* *** empty log message ***Gravatar David Aspinall2009-11-28
* mapcar -> dolistGravatar David Aspinall2009-09-07
* Clean whitespaceGravatar David Aspinall2009-09-05
* Reduce compiler warnings. Minor fixes.Gravatar David Aspinall2008-01-16
* Many rearrangements for compatibility, efficient/correct compilation, namespa...Gravatar David Aspinall2008-01-15
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-07 03:47:56 +0000