Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Abstraction du type 'qualid' pour les noms qualifiés relatifs distinct de 's... | 2000-11-22 | ||
* | Remplacement des hacks pour les noms longs par un appel à Declare.global_qua... | 2000-11-20 | ||
* | Nettoyage Names suite | 2000-11-07 | ||
* | Renommage AppL en App | 2000-10-01 | ||
* | Disparition du type oper mais nouveau type global_reference | 2000-10-01 | ||
* | Abstraction de constr | 2000-09-14 | ||
* | Modification mkAppL; abstraction via kind_of_term; changement dans Reduction | 2000-09-12 | ||
* | Ajout d'un LetIn primitif. | 2000-09-10 | ||
* | Passage à des contextes de vars et de rels pouvant contenir des déclarations | 2000-07-24 | ||
* | Ajout du langage de tactiques | 2000-05-03 | ||
* | MODIFS pour compatibilité aussi 2.99 | 2000-04-30 | ||
* | mise sous CVS d'Omega | 2000-04-28 |