aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/coqdoc
Commit message (Expand)AuthorAge
* Bug 2709: Duplication in coqdoc index entriesGravatar pboutill2012-03-19
* Fix handling of space after "Notation" or "where", add missing keywords.Gravatar msozeau2012-02-16
* Coqdoc: Fixing missing newline when using "Proof term."Gravatar herbelin2011-12-26
* Fixed broken globalization of identifiers containing utf8 lettersGravatar herbelin2011-10-29
* Added checksums to glob files and warned about possibly missingGravatar herbelin2011-10-29
* In Coq_config: get rid of coqsrc and make coqlib optionalGravatar glondu2011-09-27
* Fixing bug #2606 (bad coqdoc processing of coq escaped in comments).Gravatar herbelin2011-09-22
* Fix for handling of -R "" in coqdoc (bug #2423).Gravatar herbelin2011-04-25
* Coqdoc: also try coqlib relative to the coqdoc binary locationGravatar letouzey2011-04-20
* Remove the "Boxed" syntaxes and the const_entry_boxed fieldGravatar letouzey2011-01-28
* Fixed status of ÷ and × in coqdoc (they were seen as letter instead of symb...Gravatar herbelin2010-12-06
* Better fix to bug #2183 ("moduleid" internal name got exposed to usersGravatar herbelin2010-12-04
* Fixing several bugs with links to notation in coqdoc, including bug #2445:Gravatar herbelin2010-12-04
* Coqdoc patches from UPenn (thanks to C. Casinghino). This introduces theGravatar msozeau2010-09-28
* Minor fixes of 'make doc'Gravatar pboutill2010-09-28
* Fixing bug #2389 (keyword "Declare Instance" unknown from "coqdoc -g") butGravatar herbelin2010-09-19
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Remove compile-command pragmas for emacsGravatar letouzey2010-05-19
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Applied Cédric Auger's patch to fix use of "#&xxx;" in html printingGravatar herbelin2010-04-09
* New model for user-driven translation of tokens in coqdocGravatar herbelin2010-04-06
* Small things about coqdoc + fixing lettuple.v test (part of bug #2289)Gravatar herbelin2010-03-30
* Removed hard-wiring of latin1 letters in coqdoc (see bug #2275)Gravatar herbelin2010-03-30
* Small improvements around coqdoc (including fix for bug #2288)Gravatar herbelin2010-03-30
* Fixed small bugs introduced in commit 12890 (bug #2286, that comesGravatar herbelin2010-03-30
* Several bug-fixes and improvements of coqdocGravatar herbelin2010-03-29
* Adding Function as keyword for coqdocGravatar thery2010-03-06
* Fix previous commitGravatar notin2010-01-28
* Typo in previous commitGravatar notin2010-01-28
* Correction du bug #2219: application du patch envoyé par F. GarillotGravatar notin2010-01-28
* Fix "Existing Instance" to handle globality information and "ExistingGravatar msozeau2009-12-27
* Fix make_exact_entry to allow applying [forall x, P x] hints directly,Gravatar msozeau2009-12-01
* Suppression de l'appel à Lexing.new_line (qui n'existe pas dans les versions...Gravatar notin2009-11-12
* Correction du bug #2183Gravatar notin2009-11-10
* Misc fixes.Gravatar msozeau2009-11-06
* Removed debugging stuff mistakenly introduced in r12426.Gravatar herbelin2009-11-03
* Removed 'dest' from keyword highlighting.Gravatar gmelquio2009-10-30
* Integrate a few improvements on typeclasses and Program from the equations br...Gravatar msozeau2009-10-28
* Added option --external to coqdoc to bind an url to an external library.Gravatar herbelin2009-10-27
* Better handling of emphasis.Gravatar msozeau2009-10-13
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* - Tentatively made order-dependency wrt .vo files a full dependencyGravatar herbelin2009-09-15
* Fixes for toc depth handling and handling of substitles from Chris Casinghino.Gravatar msozeau2009-09-10
* Update coqdoc documentation, CHANGES and add a fix for the proofbox (patchGravatar msozeau2009-09-08
* Fix the bug-ridden code used to choose leibniz or generalizedGravatar msozeau2009-09-08
* Incorporate coqdoc changes by the UPenn team (B.Pierce, C. Casinghino,Gravatar msozeau2009-09-04
* Add --plain-comments patch by F. Garillot, which also addsGravatar msozeau2009-09-03
* Allow coqdoc comments inside definition bodies.Gravatar msozeau2009-07-09
* Report de la révision #12104 (Maj lien site web de Coq)Gravatar notin2009-04-24
* Take formatted into account in rules for dot.Gravatar msozeau2009-04-08