Commit message (Expand) | Author | Age | |
---|---|---|---|
* | factorisation et generalisation des clauses | 2003-11-13 | |
* | Globalisation des noms de tactiques dans les définitions de tactiques | 2003-04-07 | |
* | simplification de solve_subgoal: n'utilise plus frontier | 2002-12-19 | |
* | Ajout Simpl et Change sur des sous-termes | 2002-12-09 | |
* | Réforme de l'interprétation des termes : | 2002-11-14 | |
* | Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co... | 2002-05-29 | |
* | petits changements cosmetiques sur les tactiques | 2002-02-15 | |
* | There remained traces of streams with the old syntax. | 2001-12-18 | |
* | Integrating the Ltac language and the Blast tool into the interface | 2001-12-18 |