| Age | Commit message (Expand) | Author |
|---|
| 2013-10-14 | Avoid polymorphic comparison (coqdoc). | xclerc |
| 2013-10-14 | Getting rid of the use of deprecated elements (from the OCaml standard library). | xclerc |
| 2013-08-22 | Misc changes around coqtop.ml : | letouzey |
| 2013-04-17 | Renaming SearchAbout into Search and Search into SearchHead. | herbelin |
| 2013-03-12 | invalid_arg instead of raise (Invalid_argement ...) | letouzey |
| 2012-10-16 | Continuing r15885 fixing coqdoc index bugs introduced in r14624 and r15053. | herbelin |
| 2012-10-16 | Removed dead code about linking Module names in coqdoc. | herbelin |
| 2012-10-15 | Fixing coqdoc index bugs introduced in r14624 and r15053. Revision r14624 int... | pboutill |
| 2012-10-06 | still some more dead code removal | letouzey |
| 2012-09-14 | The new ocaml compiler (4.00) has a lot of very cool warnings, | regisgia |
| 2012-09-07 | Coqdoc: fix --utf8 bug for pretty printing | pboutill |
| 2012-08-23 | No more states/initial.coq, instead coqtop now requires Prelude.vo | 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-08-05 | Coqdoc: More keywords, better special char escape, special case for "in *" | pboutill |
| 2012-08-05 | More entries in the index | pboutill |
| 2012-07-18 | Various minor fixes to coqdoc from A. Chlipala. | msozeau |
| 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 |
