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