aboutsummaryrefslogtreecommitdiff
path: root/contrib/field/field.ml4
AgeCommit message (Expand)Author
2003-04-11Explicitation arguments de eqherbelin
2003-04-07Mauvaise resolution conflit dans commit precedentherbelin
2003-04-07Globalisation des noms de tactiques dans les définitions de tactiquesherbelin
2003-04-03Légères simplifications code de Field; message d'erreur si pas égalitéherbelin
2003-04-01Fail 1 pour traverser le matchherbelin
2003-03-31Plus de eqT; message Failherbelin
2003-03-31factorisation des "constant" dans les contrib/* ( maintenant dans coqlib )corbinea
2003-03-12*** empty log message ***barras
2003-01-19Restructuration interpréteur de tactique: plus d'évaluation partielle à la...herbelin
2002-11-14Réforme de l'interprétation des termes :herbelin
2002-08-02Modules dans COQ\!\!\!\!coq
2002-06-03Protection des tactiques contre l'utilisation sans le bon contexte de thoriesherbelin
2002-05-29Fichiers contrib/*/*.ml4 remplacent les contrib/*/*.vherbelin
2002-03-17Meilleure gestion de la reduction dans Fielddelahaye
2001-12-18Oubli d'un quoteherbelin
2001-11-05GROS COMMIT:barras
2001-10-23Modifs Tacinterp + debugger de tactiques + syntaxe de R + DiscrRdelahaye
2001-09-20Transparentbarras
2001-08-10Parsingherbelin
2001-07-10Ajout d'un Ring pour setoidesclrenard
2001-06-25Découpage de g_tactic.ml4 en 2 (pour satisfaire les contraintes de la compil...herbelin
2001-04-20Ajout des entetesdelahaye
2001-04-19Ajout de Fielddelahaye
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-25 04:24:40 +0000