| Age | Commit message (Expand) | Author |
|---|
| 2012-03-19 | Bug 2709: Duplication in coqdoc index entries | pboutill |
| 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-10-29 | Added checksums to glob files and warned about possibly missing | herbelin |
| 2011-09-27 | In Coq_config: get rid of coqsrc and make coqlib optional | glondu |
| 2011-09-22 | Fixing bug #2606 (bad coqdoc processing of coq escaped in comments). | herbelin |
| 2011-04-25 | Fix for handling of -R "" in coqdoc (bug #2423). | herbelin |
| 2011-04-20 | Coqdoc: also try coqlib relative to the coqdoc binary location | letouzey |
| 2011-01-28 | Remove the "Boxed" syntaxes and the const_entry_boxed field | letouzey |
| 2010-12-06 | Fixed status of ÷ and × in coqdoc (they were seen as letter instead of symb... | herbelin |
| 2010-12-04 | Better fix to bug #2183 ("moduleid" internal name got exposed to users | 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-28 | Minor fixes of 'make doc' | pboutill |
| 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-27 | Fix "Existing Instance" to handle globality information and "Existing | msozeau |
| 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-10 | Correction du bug #2183 | notin |
| 2009-11-06 | Misc fixes. | msozeau |
| 2009-11-03 | Removed debugging stuff mistakenly introduced in r12426. | herbelin |
| 2009-10-30 | Removed 'dest' from keyword highlighting. | gmelquio |
| 2009-10-28 | Integrate a few improvements on typeclasses and Program from the equations br... | msozeau |
| 2009-10-27 | Added option --external to coqdoc to bind an url to an external library. | herbelin |
| 2009-10-13 | Better handling of emphasis. | msozeau |
| 2009-09-17 | Delete trailing whitespaces in all *.{v,ml*} files | glondu |
| 2009-09-15 | - Tentatively made order-dependency wrt .vo files a full dependency | herbelin |
| 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-08 | Fix the bug-ridden code used to choose leibniz or generalized | 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-24 | Report de la révision #12104 (Maj lien site web de Coq) | notin |
| 2009-04-08 | Take formatted into account in rules for dot. | msozeau |
