| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Added things in CHANGES. |  Pierre Courtieu | 2007-04-23 |
| * | Updated CHANGES. | Pierre Courtieu | 2006-09-07 |
| * | updating changes in coq/CHANGES. | Pierre Courtieu | 2006-09-06 |
| * | fix coq/CHANGES | Pierre Courtieu | 2006-08-25 |
| * | Changed default coq version (8.1) | Pierre Courtieu | 2006-08-25 |
| * | added a CHANGES file for coq directory | Pierre Courtieu | 2006-08-25 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |