Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Parsing au niveau lconstr des patterns de 'match context' | 2003-09-21 | |
* | Un seul binaire commun v7 et v8 avec détection précoce de l'option -v8 et c... | 2003-09-12 | |
* | Passage de lconstr à constr pour les arguments immédiat de commandes | 2003-09-06 | |
* | Nouvelle mouture du traducteur v7->v8 | 2003-08-11 | |
* | freshid -> fresh | 2003-06-10 | |
* | Bug | 2003-05-26 | |
* | Ajout FreshId | 2003-05-24 | |
* | Suppression définitive de lmatch et or_metanum dans tacinterp | 2003-05-21 | |
* | Fusion à l'essai de lmatch et lfun dans tacinterp; utilisation de noms pour ... | 2003-05-21 | |
* | Renommage CMeta en CPatVar qui sert à saisir les PMeta de Pattern | 2003-05-19 | |
* | Globalisation des noms de tactiques dans les définitions de tactiques | 2003-04-07 | |
* | Ajout d'un message à FailTac | 2003-03-31 | |
* | MAJ des mots-clés, Definition, Theorem, ... | 2003-03-27 | |
* | *** empty log message *** | 2003-03-12 |