| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Deleted compatibility for coq v6 and v7 + new backtracking system. For |  Pierre Courtieu | 2005-02-10 |
| * | 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 |