| Age | Commit message (Expand) | Author |
|---|---|---|
| 2006-04-28 | Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '... | notin |
| 2004-09-03 | premiere reorganisation de l\'unification | barras |
| 2004-02-24 | coqdoc | filliatr |
| 2003-09-05 | coqwc | filliatr |
| 2003-03-14 | *** empty log message *** | barras |
| 2003-02-04 | interface GTK2 experimentale | monate |
| 2003-01-31 | maj | filliatr |
| 2001-05-11 | application patch Claudio | filliatr |
| 2001-04-04 | add the binary coq-interface, used for the communication with the graphical | bertot |
| 2001-03-06 | modifs pour extraction; bug coqmktop | filliatr |
| 2000-11-08 | binaires a ingorer par CVS | filliatr |
| 2000-11-08 | tous les binaires maintenant dans le repertoire bin | filliatr |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |