index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
/
proof-depends.el
Commit message (
Expand
)
Author
Age
*
Don't mess with overlay priorities.
Stefan Monnier
2014-06-06
*
Checkdoc cleanups
David Aspinall
2010-08-08
*
Fix to last patch for face saving (untested still).
David Aspinall
2009-12-02
*
Better approximation of restoring old highlighting, by caching saved face.
David Aspinall
2009-12-02
*
*** empty log message ***
David Aspinall
2009-11-28
*
mapcar -> dolist
David Aspinall
2009-09-07
*
Clean whitespace
David Aspinall
2009-09-05
*
Reduce compiler warnings. Minor fixes.
David Aspinall
2008-01-16
*
Many rearrangements for compatibility, efficient/correct compilation, namespa...
David Aspinall
2008-01-15
*
Comments
David Aspinall
2004-04-02
*
Update email and web addresses
David Aspinall
2004-02-08
*
Change to proof-shell-theorem-dependency-regexp; also add code to make nested...
David Aspinall
2002-08-28
*
Docstring.
David Aspinall
2002-08-16
*
Fix dep highlighting for Emacs 21 by setting priorities.
David Aspinall
2002-08-08
*
Fix autoload for context menu; add proof-shell-show-dependency-cmd.
David Aspinall
2002-08-08
*
Add require, fix menu capitalization.
David Aspinall
2002-08-07
*
GPL
David Aspinall
2002-06-21
*
Year changes
David Aspinall
2002-03-21
*
Use pg-set-span-helphightlights for unhighlighting.
David Aspinall
2001-09-03
*
(Almost) complete rewrite
David Aspinall
2001-08-31
*
Clean up of proof-depends
David Aspinall
2001-08-31
*
Update comments
David Aspinall
2000-09-23
*
Added Fiona's changes, cleaned up a little bit with header and footer
David Aspinall
2000-08-14
*
functions for manipulating theorem dependencies
David Aspinall
2000-07-19