aboutsummaryrefslogtreecommitdiff
path: root/tools/coqdoc/index.ml
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-11-21[coq] Untabify the whole ML codebase.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-07-29Adding support for custom entries in notations.Hugo Herbelin
2018-07-03coqdoc Index.find_string: remove unused argument.Gaëtan Gilbert
2018-02-27Update headers following #6543.Théo Zimmermann
2017-08-21Fix coqdoc URLs under Windows.Théo Zimmermann
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-05-28Fail on deprecated warning even for Ocaml > 4.02.3Gaëtan Gilbert
2017-03-20[misc] Remove warnings about String.setEmilio Jesus Gallego Arias
2017-03-14[safe-string] toolsEmilio Jesus Gallego Arias
2016-05-08Removing dead code and unused opens.Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-01-12Update headers.Maxime Dénès
2014-09-04Print [Variant] types with the keyword [Variant].Arnaud Spiwack
2014-04-10Dumpglob: factor out reference dumping.Carst Tankink
2013-10-14Getting rid of the use of deprecated elements (from the OCaml standard library).xclerc
2013-03-12invalid_arg instead of raise (Invalid_argement ...)letouzey
2012-10-16Continuing r15885 fixing coqdoc index bugs introduced in r14624 and r15053.herbelin
2012-10-16Removed dead code about linking Module names in coqdoc.herbelin
2012-10-15Fixing coqdoc index bugs introduced in r14624 and r15053. Revision r14624 int...pboutill
2012-10-06still some more dead code removalletouzey
2012-08-08Updating headers.herbelin
2012-08-05More entries in the indexpboutill
2012-03-19Bug 2709: Duplication in coqdoc index entriespboutill
2011-10-29Fixed broken globalization of identifiers containing utf8 lettersherbelin
2011-10-29Added checksums to glob files and warned about possibly missingherbelin
2010-12-04Better fix to bug #2183 ("moduleid" internal name got exposed to usersherbelin
2010-12-04Fixing several bugs with links to notation in coqdoc, including bug #2445:herbelin
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-05-19Remove compile-command pragmas for emacsletouzey
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2010-03-30Small things about coqdoc + fixing lettuple.v test (part of bug #2289)herbelin
2010-03-29Several bug-fixes and improvements of coqdocherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 18:45:10 +0000