aboutsummaryrefslogtreecommitdiff
path: root/tactics/dn.mli
AgeCommit message (Expand)Author
2020-09-18Remove unused API from Dn.Pierre-Marie Pédrot
2020-07-27Do not rely on higher-order interfaces for patterns in dnets.Pierre-Marie Pédrot
2015-04-16Ensuring purity of datastructures in the API.Pierre-Marie Pédrot
2014-04-23Removing dead code, thanks to new OCaml warnings and a bit of scripting.Pierre-Marie Pédrot
2014-03-03Term dnets do no need to contain the afferent constr pattern in their nodes.Pierre-Marie Pédrot
2014-03-03Extruding code not depending of the functor argument in Termdn.Pierre-Marie Pédrot
2010-04-29Move from ocamlweb to ocamdoc to generate mli documentationpboutill
2009-10-21This big commit addresses two problems:soubiran
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2008-06-27Enhanced discrimination nets implementation, which can now work withmsozeau
2004-07-16Nouvelle en-têteherbelin
2001-03-15entetesfilliatr
2000-12-12syntaxe AST Inversion + commentaires ocamlweb autour de $filliatr
2000-04-26Nettoyageherbelin
1999-10-22 - répertoire tactics/filliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 15:55:23 +0000