aboutsummaryrefslogtreecommitdiff
path: root/tools/coqdoc/index.mli
AgeCommit message (Expand)Author
2020-04-15Coqdoc: Exporting location and unique id for binding variables.Hugo Herbelin
2020-03-18Update headers in the whole code base.Théo Zimmermann
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2018-07-03coqdoc Index.find_string: remove unused argument.Gaëtan Gilbert
2018-02-27Update headers following #6543.Théo Zimmermann
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-01-12Update headers.Maxime Dénès
2012-10-16Removed dead code about linking Module names in coqdoc.herbelin
2012-08-08Updating headers.herbelin
2011-10-29Added checksums to glob files and warned about possibly missingherbelin
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2010-03-29Several bug-fixes and improvements of coqdocherbelin
2009-10-27Added option --external to coqdoc to bind an url to an external library.herbelin
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2008-09-25Improvements in coqdoc:msozeau
2008-06-06Enhancements to coqdoc, better globalization of sections and modules.msozeau
2008-06-03Fix setoid_rewrite documentation examples.msozeau
2008-05-30Improvements on coqdoc by adding more information into .globmsozeau
2006-03-08 r8620@thot: notin | 2006-03-08 11:44:16 +0100notin
2004-07-16Nouvelle en-têteherbelin
2004-02-24coqdocfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-08 20:20:09 +0000