Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Pas de projection si le nom d'un champ est '_' dans un Record | 2002-05-13 | ||
* | MAJ | 2002-05-06 | ||
* | Intuition | 2002-04-12 | ||
* | *** empty log message *** | 2002-04-12 | ||
* | MAJ | 2002-04-10 | ||
* | changements récents dans l'extraction | 2002-03-15 | ||
* | modifs ZArith & Chinese | 2002-01-18 | ||
* | MAJ | 2002-01-15 | ||
* | Extension de Even | 2001-12-21 | ||
* | maj CHANGES extraction + bug extraction & _ | 2001-12-21 | ||
* | MAJ | 2001-12-20 | ||
* | MAJ | 2001-12-19 | ||
* | Changements Reals | 2001-12-19 | ||
* | MAJ | 2001-12-19 | ||
* | MAJ | 2001-12-18 | ||
* | MAJ | 2001-12-13 | ||
* | MAJ | 2001-12-12 | ||
* | Maj | 2001-12-06 | ||
* | MAJ | 2001-11-22 | ||
* | MAJ | 2001-11-21 | ||
* | documentation de mes actions recentes sur les theories (PL) | 2001-11-21 | ||
* | MAJ | 2001-11-16 | ||
* | MAJ | 2001-10-16 | ||
* | MAJ | 2001-10-12 | ||
* | Nouvelle tactique primitive ThinBody et nouvelles tactiques utilisateurs 'Cle... | 2001-10-05 | ||
* | Ultime MAJ | 2001-09-26 | ||
* | *** empty log message *** | 2001-09-25 | ||
* | Qqes oublis | 2001-09-25 | ||
* | Ajout d'un résumé des modifications | 2001-09-25 | ||
* | Mise en page | 2001-09-25 | ||
* | MAJ | 2001-09-24 | ||
* | Vers la fin de la restructuration | 2001-09-21 | ||
* | Intégration partielle des modifs de la V7.0 | 2001-09-19 | ||
* | update sur les tactiques | 2001-09-18 | ||
* | Modif pour Ltac et ajout de Field | 2001-09-18 | ||
* | MAJ | 2001-09-14 | ||
* | Structuration et traduction | 2001-09-13 | ||
* | explications modifications Tauto | 2001-09-13 | ||
* | MAJ | 2001-09-11 | ||
* | MAJ | 2001-09-09 | ||
* | MAJ | 2001-09-07 | ||
* | Parsing | 2001-08-10 | ||
* | Ajout tactique TrueCut qui fait la coupure du calcul des séquents; nouvelle ... | 2001-08-07 | ||
* | MAJ de la MAJ | 2001-07-09 | ||
* | MAJ | 2001-07-09 | ||
* | Evar et Zeta ne sont plus implicites dans Delta (mais le restent dans Compute... | 2001-07-02 | ||
* | Les réduction dans les hypothèses s'appliquent maintenant au corps de la dÃ... | 2001-06-25 | ||
* | Modification pour passage p-automates | 2001-05-15 | ||
* | MAJ | 2001-04-15 | ||
* | MAJ | 2001-03-23 |