Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Adapted the emacs mode to font-lock. Re-using code from ProofGeneral. | 2009-05-28 | |
* | coq-inferior, by Marco Maggesi | 2002-04-15 | |
* | outils (manquent encore les deux filtres) | 1999-12-11 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Adapted the emacs mode to font-lock. Re-using code from ProofGeneral. | 2009-05-28 | |
* | coq-inferior, by Marco Maggesi | 2002-04-15 | |
* | outils (manquent encore les deux filtres) | 1999-12-11 |