Commit message (Expand) | Author | Age | |
---|---|---|---|
* | premiere reorganisation de l\'unification | 2004-09-03 | |
* | coqdoc | 2004-02-24 | |
* | coqwc | 2003-09-05 | |
* | *** empty log message *** | 2003-03-14 | |
* | interface GTK2 experimentale | 2003-02-04 | |
* | maj | 2003-01-31 | |
* | application patch Claudio | 2001-05-11 | |
* | add the binary coq-interface, used for the communication with the graphical | 2001-04-04 | |
* | modifs pour extraction; bug coqmktop | 2001-03-06 | |
* | binaires a ingorer par CVS | 2000-11-08 | |
* | tous les binaires maintenant dans le repertoire bin | 2000-11-08 |