| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2016-06-02 | Move serialization functions out of Stm | Emilio Jesus Gallego Arias | |
| Serialization should be specific to each particular backend, so we let the Stm clients choose how the send the nodes. This should be quite safe to pull in. Test suite passes. Related to #180 | |||
| 2016-01-20 | Update copyright headers. | Maxime Dénès | |
| 2015-01-12 | Update headers. | Maxime Dénès | |
| 2014-09-29 | XML pretty printing for AST (work by François Poulain, project DoCoq) | Enrico Tassi | |
| It is not 100% complete, but the main part is there. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |