Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | interface GTK2 experimentale | 2003-02-04 | ||
* | maj | 2003-02-03 | ||
* | contrib/extraction/table utilise printer | 2003-02-02 | ||
* | maj | 2003-01-24 | ||
* | Ajout de LinearIntuition; Ajout de New(Tauto|Intuition|LinearIntuition). | 2003-01-23 | ||
* | removes all references to ctast.ml the Makefile has been updated accordingly. | 2003-01-22 | ||
* | MAJ pour renommage Rcomplet | 2003-01-22 | ||
* | maj | 2003-01-22 | ||
* | Extraction des modules, enfin ! | 2003-01-22 | ||
* | Binome.v -> Binomial.v | 2003-01-21 | ||
* | maj | 2003-01-21 | ||
* | maj | 2003-01-20 | ||
* | maj | 2003-01-18 | ||
* | maj | 2003-01-17 | ||
* | Renommage de RealsB en Rbase | 2003-01-16 | ||
* | maj | 2003-01-16 | ||
* | maj | 2003-01-10 | ||
* | maj | 2003-01-08 | ||
* | maj | 2003-01-07 | ||
* | bit vectors | 2003-01-06 | ||
* | maj | 2002-12-23 | ||
* | maj | 2002-12-21 | ||
* | maj | 2002-12-20 | ||
* | maj | 2002-12-19 | ||
* | maj | 2002-12-18 | ||
* | maj | 2002-12-16 | ||
* | maj | 2002-12-14 | ||
* | maj | 2002-12-13 | ||
* | Ajout du vernac Proof with | 2002-12-12 | ||
* | maj | 2002-12-12 | ||
* | maj | 2002-12-11 | ||
* | maj | 2002-12-10 | ||
* | Corrections de gestion des univers et modules + meilleure gestions des noms... | 2002-12-09 | ||
* | chamboulement du codage des indcutifs extraits; deplacements des tables; ... | 2002-12-09 | ||
* | maj | 2002-12-06 | ||
* | maj | 2002-12-04 | ||
* | maj | 2002-12-03 | ||
* | maj | 2002-11-30 | ||
* | maj | 2002-11-29 | ||
* | maj | 2002-11-28 | ||
* | Réorganisation de la librairie des réels | 2002-11-27 | ||
* | maj | 2002-11-27 | ||
* | Option pour compiler une version 'light' des réels | 2002-11-26 | ||
* | MAJ | 2002-11-26 | ||
* | maj | 2002-11-26 | ||
* | maj | 2002-11-25 | ||
* | Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior... | 2002-11-24 | ||
* | maj | 2002-11-18 | ||
* | maj | 2002-11-16 | ||
* | maj apres reparation d'un bug coqdep | 2002-11-15 |