aboutsummaryrefslogtreecommitdiff
path: root/checker/closure.ml
AgeCommit message (Expand)Author
2013-04-15Checker: get rid of code handling section variablesletouzey
2013-04-15Checker: regroup all vo-related types in cic.mliletouzey
2012-12-14Modulification of identifierppedrot
2012-10-06still some more dead code removalletouzey
2012-09-14As r15801: putting everything from Util.array_* to CArray.*.ppedrot
2012-09-14Moving Utils.list_* to a proper CList module, which includes stdlibppedrot
2012-08-08Updating headers.herbelin
2012-06-01Getting rid of Pp.msgnl and Pp.message.ppedrot
2012-03-02Noise for nothingpboutill
2011-08-08Esubst: make types of substitutions & lifts privatepuech
2011-03-04checker: cleanupglondu
2011-03-04checker: add eta-expansionglondu
2011-02-17- Use transparency information all the way through unification andmsozeau
2010-09-24Checker: remove some dead codeletouzey
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-04-29After the approval of Bruno, here the patch for the checker.soubiran
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2009-10-21This big commit addresses two problems:soubiran
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-04-08Some dead code removal + cleanupsletouzey
2008-04-21added the .vo checker (with independent Makefile)barras
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-13 16:37:02 +0000