Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |