Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | oubli de Closure.EvalConstRef | 2001-02-01 | ||
* | - coqc : option -image | 2001-02-01 | ||
* | Bug fixed: the case [ id : ?1 -> ?2 |- ?] was missing in tauto_main | 2001-01-30 | ||
* | As an heuristic, now both in tauto and intuition we try to avoid the initial | 2001-01-29 | ||
* | Elimination du ' | 2000-11-28 | ||
* | Nouveau choix pour l'intros initial | 2000-11-24 | ||
* | On n'introduit que des produits non dependants | 2000-11-23 | ||
* | compilation des fichiers ml4 sans GNUseries | 2000-11-03 | ||
* | Remplacement de Tauto et Intuition | 2000-10-30 |