| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | debugged the indentation of coq (bug report of Batsiaan Zapf august |  Pierre Courtieu | 2004-08-30 |
| * | modified the syntax for subscript in coq/pg | Pierre Courtieu | 2004-04-23 |
| * | Update to Coq 8.0 syntax |  David Aspinall | 2004-04-22 |
| * | little fix for x-symbols coq. | Pierre Courtieu | 2004-04-16 |
| * | added an example fils for coq x-symbols. | Pierre Courtieu | 2004-04-16 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |