Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Deleted the "3 buffers view menu entry" for coq, this is now a | Pierre Courtieu | 2004-04-21 |
* | coq < 8.0 menu and abbrevs. | Pierre Courtieu | 2004-03-19 |
index : proof-general | ||
Emacs interface for proof assistants |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Deleted the "3 buffers view menu entry" for coq, this is now a | Pierre Courtieu | 2004-04-21 |
* | coq < 8.0 menu and abbrevs. | Pierre Courtieu | 2004-03-19 |