aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker/modops.mli
Commit message (Expand)AuthorAge
* Modops: the strengthening functions can work without any env argumentGravatar letouzey2011-05-17
* Checker: remove some dead codeGravatar letouzey2010-09-24
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* This big commit addresses two problems:Gravatar soubiran2009-10-21
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* fixed bug with aliasesGravatar barras2008-05-07
* added the .vo checker (with independent Makefile)Gravatar barras2008-04-21