aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/coqdep_lexer.mll
Commit message (Expand)AuthorAge
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Simplify coqdep lexer by removing global references.Gravatar Guillaume Melquiond2015-11-30
|/
* Fixing bug #4265: coqdep does not handle From ... Require.Gravatar Pierre-Marie Pédrot2015-07-03
* Removing dead code in coqdep.Gravatar Pierre-Marie Pédrot2015-06-30
* Update headers.Gravatar Maxime Dénès2015-01-12
* factored out require_modifiers + bug fix.Gravatar Gregory Malecha2014-08-25
* coqdep comments counter is in the stackGravatar Pierre Boutillier2014-08-25
* a comment about the new state.Gravatar Gregory Malecha2014-08-25
* Support for Timeout n and From ..Gravatar Gregory Malecha2014-08-25
* Make coqdep find Require commands prefixed by TimeGravatar Gregory Malecha2014-08-25
* Declared ML Module are not uncapitalized/capitalized/uncapitalized/...Gravatar Pierre Boutillier2014-01-13
* Updating headers.Gravatar herbelin2012-08-08
* Added Add LoadPath in coqdep lexer (but not in coqdep itself by lack of time).Gravatar herbelin2011-10-29
* avoid dependency nightmare by creating coqdep_{lexer,common}.mliGravatar letouzey2011-09-18
* Coqdep_boot : misc improvementsGravatar letouzey2010-09-17
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form)Gravatar letouzey2010-03-04
* Add support for Local Declare ML ModuleGravatar glondu2009-09-29
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Many changes in the Makefile infrastructure + a beginning of ocamlbuildGravatar letouzey2009-03-20
* Coqdep: better handling of Declare ML Module (via .mllib) + many cleanupsGravatar letouzey2009-03-14
* Coqdep: remove references to obsolete .zi and Require Implementation stuffGravatar letouzey2009-03-14
* Correction du bug #1814 (trunk et v8.1) + améliorations dans coqdep et coq_m...Gravatar notin2008-03-26
* Prise en compte du Require multipleGravatar herbelin2006-04-26
* Nouvelle en-têteGravatar herbelin2004-07-16
* Bug de coqdep qui n'acceptait pas les fichiers DOS (cf Binome.v)Gravatar letouzey2002-11-15
* gestion coherente de l'option -R et des Require A.B.C.Gravatar barras2002-10-10
* prise en compte de Load par coqdepGravatar filliatr2001-08-31
* bug Print Proof; usage coqtop/coqcGravatar filliatr2001-04-06
* entetesGravatar filliatr2001-03-15
* outils (manquent encore les deux filtres)Gravatar filliatr1999-12-11