| Age | Commit message (Expand) | Author |
|---|---|---|
| 1998-09-16 | Bug in regexp for isa auto-mode-alist. | David Aspinall |
| 1998-09-16 | Moved proof-info-dir into proof-site and defcustom'd it. | David Aspinall |
| 1998-09-16 | Isabelle Proof General loads for .thy as well as .ML files. | David Aspinall |
| 1998-09-14 | Changed proof-assistant into proof-assistants to support autoloads for more t... | David Aspinall |
| 1998-09-10 | Set version tag for release. | David Aspinall |
| 1998-09-10 | Set version tag for release. | David Aspinall |
| 1998-09-10 | Added proof-general-version | David Aspinall |
| 1998-09-08 | Made customize variables user-visible | David Aspinall |
| 1998-09-08 | Added image directory for toolbar icons | David Aspinall |
| 1998-09-08 | Layout. | David Aspinall |
| 1998-09-03 | Site-wide configuration for proof mode. | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |