aboutsummaryrefslogtreecommitdiff
path: root/tools/coqdep_lexer.mll
AgeCommit message (Expand)Author
2014-08-25factored out require_modifiers + bug fix.Gregory Malecha
2014-08-25coqdep comments counter is in the stackPierre Boutillier
2014-08-25a comment about the new state.Gregory Malecha
2014-08-25Support for Timeout n and From ..Gregory Malecha
2014-08-25Make coqdep find Require commands prefixed by TimeGregory Malecha
2014-01-13Declared ML Module are not uncapitalized/capitalized/uncapitalized/...Pierre Boutillier
2012-08-08Updating headers.herbelin
2011-10-29Added Add LoadPath in coqdep lexer (but not in coqdep itself by lack of time).herbelin
2011-09-18avoid dependency nightmare by creating coqdep_{lexer,common}.mliletouzey
2010-09-17Coqdep_boot : misc improvementsletouzey
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2010-03-04Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form)letouzey
2009-09-29Add support for Local Declare ML Moduleglondu
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-03-20Many changes in the Makefile infrastructure + a beginning of ocamlbuildletouzey
2009-03-14Coqdep: better handling of Declare ML Module (via .mllib) + many cleanupsletouzey
2009-03-14Coqdep: remove references to obsolete .zi and Require Implementation stuffletouzey
2008-03-26Correction du bug #1814 (trunk et v8.1) + améliorations dans coqdep et coq_m...notin
2006-04-26Prise en compte du Require multipleherbelin
2004-07-16Nouvelle en-têteherbelin
2002-11-15Bug de coqdep qui n'acceptait pas les fichiers DOS (cf Binome.v)letouzey
2002-10-10gestion coherente de l'option -R et des Require A.B.C.barras
2001-08-31prise en compte de Load par coqdepfilliatr
2001-04-06bug Print Proof; usage coqtop/coqcfilliatr
2001-03-15entetesfilliatr
1999-12-11outils (manquent encore les deux filtres)filliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-27 18:58:48 +0000