aboutsummaryrefslogtreecommitdiff
path: root/tools/coqdoc/cpretty.mll
AgeCommit message (Expand)Author
2020-11-14Coqdoc: we move a newline at a better place.Hugo Herbelin
2020-11-14Addressing #13304: how to verbatim an expression mentioning >>.Hugo Herbelin
2020-11-14Reorganizing the printing of warnings; fixing line count.Hugo Herbelin
2020-07-29coqdoc: Fix the “details” environmentThomas Letan
2020-07-24Fix coqdoc bad bulleting from incorrect space countGaëtan Gilbert
2020-05-07Merge PR #12024: Fixes for LaTeX/html export of standard library in coqdocThéo Zimmermann
2020-04-10coqdoc: Report location of mismatched '[['Lysxia
2020-04-05Coqdoc: Do not consider a _ following a « " », « ' » or « ` » as starti...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
2020-01-14[coqdoc] Fix #11353: coqdoc -g omits all sentences with decorationsKarl Palmskog
2019-07-27[coqdoc] Simplify regex for identifiers in commentsLysxia
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2019-02-11[coqdoc] Add the From keywordPierre Roux
2018-02-27Update headers following #6543.Théo Zimmermann
2017-08-29coqdoc: Support comments in verbatim outputTej Chajed
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2016-08-21Merge branch 'v8.5' into v8.6Pierre-Marie Pédrot
2016-08-16Output a break before a list only if there was an empty line (bug #4606).Guillaume Melquiond
2016-06-03Merge branch 'v8.5' into trunkGuillaume Melquiond
2016-06-03Fix proof terminators not being detected in presence of curly brackets (bug #...Guillaume Melquiond
2016-06-03Make "coqdoc -g --parse-comments" behave properly (bug #4773).Guillaume Melquiond
2016-05-08Removing dead code and unused opens.Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-10-23Support "Functional Scheme" in coqdoc. (Fix bug #4382)Guillaume Melquiond
2015-04-02Avoid outputting stray "Local" keywords in HTML documentation.Guillaume Melquiond
2015-02-11Make coqdoc -l properly handle Local before Ltac. (Fix for bug #3307)Guillaume Melquiond
2015-01-12Update headers.Maxime Dénès
2015-01-06Improve error recovery in case of ill-formed coqdoc comment. (Fix for bug #38...Guillaume Melquiond
2014-10-22Supporting Greek and Coptic (U0370) as first letter of coqdoc identifiers.Hugo Herbelin
2014-09-04Add a [Variant] declaration which allows to write non-recursive variant types.Arnaud Spiwack
2014-04-28Recognize Parameters as a command in coqdoc. (Fix for bug #3279)Guillaume Melquiond
2014-04-28Fixing coqdoc bug #3292 (unfortunate collision betweens the relativeHugo Herbelin
2014-04-04Prevent verbatim text from leaking out of comments. (See bug #2882)Guillaume Melquiond
2014-03-02Set officially the minimal OCaml requirement to 3.12.1Pierre Letouzey
2012-10-06still some more dead code removalletouzey
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
2012-02-16Fix handling of space after "Notation" or "where", add missing keywords.msozeau
2011-12-26Coqdoc: Fixing missing newline when using "Proof term."herbelin
2011-10-29Fixed broken globalization of identifiers containing utf8 lettersherbelin
2011-09-22Fixing bug #2606 (bad coqdoc processing of coq escaped in comments).herbelin
2010-12-06Fixed status of ÷ and × in coqdoc (they were seen as letter instead of symb...herbelin
2010-12-04Fixing several bugs with links to notation in coqdoc, including bug #2445:herbelin
2010-09-28Coqdoc patches from UPenn (thanks to C. Casinghino). This introduces themsozeau
2010-09-19Fixing bug #2389 (keyword "Declare Instance" unknown from "coqdoc -g") butherbelin
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-05-19Remove compile-command pragmas for emacsletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:21:00 +0000