aboutsummaryrefslogtreecommitdiff
path: root/tools/coqdep_lexer.mll
AgeCommit message (Expand)Author
2020-03-18Update headers in the whole code base.Théo Zimmermann
2020-02-13[coqdep] Remove support for `-c` ocamldep replacement.Emilio Jesus Gallego Arias
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2018-10-02[ocaml] [lib] Remove some compatibility layers for OCaml < 4.03.0Emilio Jesus Gallego Arias
2018-02-27Update headers following #6543.Théo Zimmermann
2017-09-13Supporting library names in utf8 in coqdep.Hugo Herbelin
2017-07-04Merge branch 'v8.6'Pierre-Marie Pédrot
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-06-27Merge PR#731: Mini-cleaning around OCaml file namesMaxime Dénès
2017-06-27A cleaning phase about ocaml file names.Hugo Herbelin
2017-06-15coqdep: correct support of Local Declare ML ModulePierre Letouzey
2017-06-01Bump year in headers.Maxime Dénès
2017-05-28Fail on deprecated warning even for Ocaml > 4.02.3Gaëtan Gilbert
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-11-30Simplify coqdep lexer by removing global references.Guillaume Melquiond
2015-07-03Fixing bug #4265: coqdep does not handle From ... Require.Pierre-Marie Pédrot
2015-06-30Removing dead code in coqdep.Pierre-Marie Pédrot
2015-01-12Update headers.Maxime Dénès
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-01-31 11:39:30 +0000