Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Support older version of define-minor-mode | David Aspinall | 2006-12-19 |
* | Tweaks to buffer history mode. Still intermediate version. | David Aspinall | 2006-09-24 |
* | Add buffer history browsing | David Aspinall | 2006-09-24 |
index : proof-general | ||
Emacs interface for proof assistants |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Support older version of define-minor-mode | David Aspinall | 2006-12-19 |
* | Tweaks to buffer history mode. Still intermediate version. | David Aspinall | 2006-09-24 |
* | Add buffer history browsing | David Aspinall | 2006-09-24 |