| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |