| Commit message (Expand) | Author | Age |
* | 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-28 |
* | Prevent verbatim text from leaking out of comments. (See bug #2882) | Guillaume Melquiond | 2014-04-04 |
* | Set officially the minimal OCaml requirement to 3.12.1 | Pierre Letouzey | 2014-03-02 |
* | still some more dead code removal | letouzey | 2012-10-06 |
* | Updating headers. | herbelin | 2012-08-08 |
* | Coqdoc inlined verbatim_char in latex | pboutill | 2012-08-06 |
* | Add inline verbatim (<</>>), quotes (") and urls ({{url} name}) markup/typese... | pboutill | 2012-08-06 |
* | Various minor fixes to coqdoc from A. Chlipala. | msozeau | 2012-07-18 |
* | Fix handling of space after "Notation" or "where", add missing keywords. | msozeau | 2012-02-16 |
* | Coqdoc: Fixing missing newline when using "Proof term." | herbelin | 2011-12-26 |
* | Fixed broken globalization of identifiers containing utf8 letters | herbelin | 2011-10-29 |
* | Fixing bug #2606 (bad coqdoc processing of coq escaped in comments). | herbelin | 2011-09-22 |
* | Fixed status of ÷ and × in coqdoc (they were seen as letter instead of symb... | herbelin | 2010-12-06 |
* | Fixing several bugs with links to notation in coqdoc, including bug #2445: | herbelin | 2010-12-04 |
* | Coqdoc patches from UPenn (thanks to C. Casinghino). This introduces the | msozeau | 2010-09-28 |
* | Fixing bug #2389 (keyword "Declare Instance" unknown from "coqdoc -g") but | herbelin | 2010-09-19 |
* | Updated all headers for 8.3 and trunk | herbelin | 2010-07-24 |
* | Remove compile-command pragmas for emacs | letouzey | 2010-05-19 |
* | Remove the svn-specific $Id$ annotations | letouzey | 2010-04-29 |
* | Applied Cédric Auger's patch to fix use of "#&xxx;" in html printing | herbelin | 2010-04-09 |
* | New model for user-driven translation of tokens in coqdoc | herbelin | 2010-04-06 |
* | 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-30 |
* | Several bug-fixes and improvements of coqdoc | herbelin | 2010-03-29 |
* | Adding Function as keyword for coqdoc | thery | 2010-03-06 |
* | 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 | 2010-01-28 |
* | Fix make_exact_entry to allow applying [forall x, P x] hints directly, | msozeau | 2009-12-01 |
* | Suppression de l'appel à Lexing.new_line (qui n'existe pas dans les versions... | notin | 2009-11-12 |
* | Misc fixes. | msozeau | 2009-11-06 |
* | Integrate a few improvements on typeclasses and Program from the equations br... | msozeau | 2009-10-28 |
* | Better handling of emphasis. | msozeau | 2009-10-13 |
* | Delete trailing whitespaces in all *.{v,ml*} files | glondu | 2009-09-17 |
* | Fixes for toc depth handling and handling of substitles from Chris Casinghino. | msozeau | 2009-09-10 |
* | Update coqdoc documentation, CHANGES and add a fix for the proofbox (patch | msozeau | 2009-09-08 |
* | Incorporate coqdoc changes by the UPenn team (B.Pierce, C. Casinghino, | msozeau | 2009-09-04 |
* | Add --plain-comments patch by F. Garillot, which also adds | msozeau | 2009-09-03 |
* | Allow coqdoc comments inside definition bodies. | msozeau | 2009-07-09 |
* | Take formatted into account in rules for dot. | msozeau | 2009-04-08 |
* | Fix behavior on newlines with parse-comments and also do [] escaping as | msozeau | 2009-04-06 |
* | 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 | 2009-03-24 |