aboutsummaryrefslogtreecommitdiff
path: root/tools/coqdoc/output.mli
AgeCommit message (Expand)Author
2020-11-14Dead code in coqdoc.Hugo Herbelin
2020-03-28coqdoc: Add (* begin details *) and (* end details *)Thomas Letan
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-02-27Update headers following #6543.Théo Zimmermann
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-04-27Remove some unused values and typesGaetan Gilbert
2016-01-20Update copyright headers.Maxime Dénès
2015-01-12Update headers.Maxime Dénès
2014-04-28Fixing coqdoc bug #3292 (unfortunate collision betweens the relativeHugo Herbelin
2012-08-08Updating headers.herbelin
2012-08-06Coqdoc inlined verbatim_char in latexpboutill
2012-08-06Add inline verbatim (<</>>), quotes (") and urls ({{url} name}) markup/typese...pboutill
2012-07-18Various minor fixes to coqdoc from A. Chlipala.msozeau
2010-09-28Coqdoc patches from UPenn (thanks to C. Casinghino). This introduces themsozeau
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2010-04-06New model for user-driven translation of tokens in coqdocherbelin
2010-03-29Several bug-fixes and improvements of coqdocherbelin
2009-11-06Misc fixes.msozeau
2009-09-08Update coqdoc documentation, CHANGES and add a fix for the proofbox (patchmsozeau
2009-09-04Incorporate coqdoc changes by the UPenn team (B.Pierce, C. Casinghino,msozeau
2009-03-22coqdoc fixes and support for parsing regular comments (request bymsozeau
2008-09-25Improvements in coqdoc:msozeau
2006-03-28- correction d'un bug dans coqdoc (multi_index)notin
2006-03-08 r8620@thot: notin | 2006-03-08 11:44:16 +0100notin
2004-07-16Nouvelle en-têteherbelin
2004-04-061. In -html mode the generated files are well-formed XML filessacerdot
2004-03-26Ajout option raw-comments pour supprimer affichage de <table>herbelin
2004-02-24coqdocfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:56:59 +0000