aboutsummaryrefslogtreecommitdiffhomepage
path: root/pretyping/term_dnet.ml
Commit message (Expand)AuthorAge
* At least made the evar type opaque! There are still 5 remaining unsafeGravatar ppedrot2013-09-18
* Removing the last global evar generation in Term_dnet. The veryGravatar ppedrot2013-09-18
* Removing unused code from Term_dnet.Gravatar ppedrot2013-09-18
* Removing useless uses of Gmap.Gravatar ppedrot2013-05-14
* Monomorphization (pretyping)Gravatar ppedrot2012-11-22
* Remove some more "open" and dead code thanks to OCaml4 warningsGravatar letouzey2012-10-02
* As r15801: putting everything from Util.array_* to CArray.*.Gravatar ppedrot2012-09-14
* This patch removes unused "open" (automatically generated fromGravatar regisgia2012-09-14
* The new ocaml compiler (4.00) has a lot of very cool warnings,Gravatar regisgia2012-09-14
* Updating headers.Gravatar herbelin2012-08-08
* global_reference migrated from Libnames to new Globnames, less deps in gramma...Gravatar letouzey2012-05-29
* Noise for nothingGravatar pboutill2012-03-02
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* fix [Search] when the result has no hypothesis & constant comparisonGravatar puech2010-03-11
* Fix bug in dnet.ml, which missed some results when filtering one term against...Gravatar puech2009-10-29
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* - Fix handling of clauses in setoid_rewrite to rewrite under bindersGravatar msozeau2009-04-17
* DISCLAIMERGravatar puech2009-01-17