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 |