| Age | Commit message (Expand) | Author |
|---|
| 2015-01-06 | Improve error recovery in case of ill-formed coqdoc comment. (Fix for bug #38... | Guillaume Melquiond |
| 2014-10-22 | Supporting Greek and Coptic (U0370) as first letter of coqdoc identifiers. | Hugo Herbelin |
| 2014-09-04 | Add a [Variant] declaration which allows to write non-recursive variant types. | Arnaud Spiwack |
| 2014-04-28 | Recognize Parameters as a command in coqdoc. (Fix for bug #3279) | Guillaume Melquiond |
| 2014-04-28 | Fixing coqdoc bug #3292 (unfortunate collision betweens the relative | Hugo Herbelin |
| 2014-04-04 | Prevent verbatim text from leaking out of comments. (See bug #2882) | Guillaume Melquiond |
| 2014-03-02 | Set officially the minimal OCaml requirement to 3.12.1 | Pierre Letouzey |
| 2012-10-06 | still some more dead code removal | letouzey |
| 2012-08-08 | Updating headers. | herbelin |
| 2012-08-06 | Coqdoc inlined verbatim_char in latex | pboutill |
| 2012-08-06 | Add inline verbatim (<</>>), quotes (") and urls ({{url} name}) markup/typese... | pboutill |
| 2012-07-18 | Various minor fixes to coqdoc from A. Chlipala. | msozeau |
| 2012-02-16 | Fix handling of space after "Notation" or "where", add missing keywords. | msozeau |
| 2011-12-26 | Coqdoc: Fixing missing newline when using "Proof term." | herbelin |
| 2011-10-29 | Fixed broken globalization of identifiers containing utf8 letters | herbelin |
| 2011-09-22 | Fixing bug #2606 (bad coqdoc processing of coq escaped in comments). | herbelin |
| 2010-12-06 | Fixed status of ÷ and × in coqdoc (they were seen as letter instead of symb... | herbelin |
| 2010-12-04 | Fixing several bugs with links to notation in coqdoc, including bug #2445: | herbelin |
| 2010-09-28 | Coqdoc patches from UPenn (thanks to C. Casinghino). This introduces the | msozeau |
| 2010-09-19 | Fixing bug #2389 (keyword "Declare Instance" unknown from "coqdoc -g") but | herbelin |
| 2010-07-24 | Updated all headers for 8.3 and trunk | herbelin |
| 2010-05-19 | Remove compile-command pragmas for emacs | letouzey |
| 2010-04-29 | Remove the svn-specific $Id$ annotations | letouzey |
| 2010-04-09 | Applied Cédric Auger's patch to fix use of "#&xxx;" in html printing | herbelin |
| 2010-04-06 | New model for user-driven translation of tokens in coqdoc | herbelin |
| 2010-03-30 | Small things about coqdoc + fixing lettuple.v test (part of bug #2289) | herbelin |
| 2010-03-30 | Removed hard-wiring of latin1 letters in coqdoc (see bug #2275) | herbelin |
| 2010-03-30 | Small improvements around coqdoc (including fix for bug #2288) | herbelin |
| 2010-03-30 | Fixed small bugs introduced in commit 12890 (bug #2286, that comes | herbelin |
| 2010-03-29 | Several bug-fixes and improvements of coqdoc | herbelin |
| 2010-03-06 | Adding Function as keyword for coqdoc | thery |
| 2010-01-28 | Fix previous commit | notin |
| 2010-01-28 | Typo in previous commit | notin |
| 2010-01-28 | Correction du bug #2219: application du patch envoyé par F. Garillot | notin |
| 2009-12-01 | Fix make_exact_entry to allow applying [forall x, P x] hints directly, | msozeau |
| 2009-11-12 | Suppression de l'appel à Lexing.new_line (qui n'existe pas dans les versions... | notin |
| 2009-11-06 | Misc fixes. | msozeau |
| 2009-10-28 | Integrate a few improvements on typeclasses and Program from the equations br... | msozeau |
| 2009-10-13 | Better handling of emphasis. | msozeau |
| 2009-09-17 | Delete trailing whitespaces in all *.{v,ml*} files | glondu |
| 2009-09-10 | Fixes for toc depth handling and handling of substitles from Chris Casinghino. | msozeau |
| 2009-09-08 | Update coqdoc documentation, CHANGES and add a fix for the proofbox (patch | msozeau |
| 2009-09-04 | Incorporate coqdoc changes by the UPenn team (B.Pierce, C. Casinghino, | msozeau |
| 2009-09-03 | Add --plain-comments patch by F. Garillot, which also adds | msozeau |
| 2009-07-09 | Allow coqdoc comments inside definition bodies. | msozeau |
| 2009-04-08 | Take formatted into account in rules for dot. | msozeau |
| 2009-04-06 | Fix behavior on newlines with parse-comments and also do [] escaping as | msozeau |
| 2009-03-24 | Fix coqdoc bugs reported by Ian Lynagh. | msozeau |
| 2009-03-24 | pretty.mll of coqdoc becomes cpretty.mll (avoid clash with a camlp5 file) | letouzey |
