| Age | Commit message (Expand) | Author |
|---|---|---|
| 2013-12-10 | Renaming elisp files to avoid conflict with pg in distribs. | Pierre Courtieu |
| 2009-05-28 | Adapted the emacs mode to font-lock. Re-using code from ProofGeneral. | courtieu |
| 2002-04-15 | coq-inferior, by Marco Maggesi | filliatr |
| 1999-12-11 | outils (manquent encore les deux filtres) | filliatr |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |