Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Retrait du i pour tclTHEN_i et correction bugs Decompose | 2000-05-16 | |
* | Ajout du langage de tactiques | 2000-05-03 | |
* | gros commit de tout ce que j'ai fait pendant les vacances : | 2000-01-21 | |
* | typage des existentielles dans Typing_ev; suppression metamap inutiles dans t... | 1999-11-25 | |
* | Auto,Dhyp,Elim / Reduction de Evar / declarations eliminations | 1999-11-24 | |
* | module Wcclausenv | 1999-11-22 | |
* | module Pattern, Wcclausenv (interface) et Tacticals | 1999-11-19 |