Commit message (Expand) | Author | Age | |
---|---|---|---|
* | debugged the indentation of coq (bug report of Batsiaan Zapf august | 2004-08-30 | |
* | modified the syntax for subscript in coq/pg | 2004-04-23 | |
* | Update to Coq 8.0 syntax | 2004-04-22 | |
* | little fix for x-symbols coq. | 2004-04-16 | |
* | added an example fils for coq x-symbols. | 2004-04-16 |