index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
tools
/
coqdoc
Commit message (
Expand
)
Author
Age
*
coqdoc is minimaly -Q aware
Pierre Boutillier
2014-07-03
*
Recognize Parameters as a command in coqdoc. (Fix for bug #3279)
Guillaume Melquiond
2014-04-28
*
Mark lazymatch as an Ltac keyword for coqdoc. (Fix for bug #3276)
Guillaume Melquiond
2014-04-28
*
Fixing coqdoc bug #3292 (unfortunate collision betweens the relative
Hugo Herbelin
2014-04-28
*
Dumpglob: factor out reference dumping.
Carst Tankink
2014-04-10
*
Prevent verbatim text from leaking out of comments. (See bug #2882)
Guillaume Melquiond
2014-04-04
*
Remove many superfluous 'open' indicated by ocamlc -w +33
Pierre Letouzey
2014-03-05
*
Set officially the minimal OCaml requirement to 3.12.1
Pierre Letouzey
2014-03-02
*
Avoid polymorphic comparison (coqdoc).
xclerc
2013-10-14
*
Getting rid of the use of deprecated elements (from the OCaml standard library).
xclerc
2013-10-14
*
Misc changes around coqtop.ml :
letouzey
2013-08-22
*
Renaming SearchAbout into Search and Search into SearchHead.
herbelin
2013-04-17
*
invalid_arg instead of raise (Invalid_argement ...)
letouzey
2013-03-12
*
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-16
*
Fixing coqdoc index bugs introduced in r14624 and r15053. Revision r14624 int...
pboutill
2012-10-15
*
still some more dead code removal
letouzey
2012-10-06
*
The new ocaml compiler (4.00) has a lot of very cool warnings,
regisgia
2012-09-14
*
Coqdoc: fix --utf8 bug for pretty printing
pboutill
2012-09-07
*
No more states/initial.coq, instead coqtop now requires Prelude.vo
letouzey
2012-08-23
*
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
*
Coqdoc: More keywords, better special char escape, special case for "in *"
pboutill
2012-08-05
*
More entries in the index
pboutill
2012-08-05
*
Various minor fixes to coqdoc from A. Chlipala.
msozeau
2012-07-18
*
Bug 2709: Duplication in coqdoc index entries
pboutill
2012-03-19
*
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
*
Added checksums to glob files and warned about possibly missing
herbelin
2011-10-29
*
In Coq_config: get rid of coqsrc and make coqlib optional
glondu
2011-09-27
*
Fixing bug #2606 (bad coqdoc processing of coq escaped in comments).
herbelin
2011-09-22
*
Fix for handling of -R "" in coqdoc (bug #2423).
herbelin
2011-04-25
*
Coqdoc: also try coqlib relative to the coqdoc binary location
letouzey
2011-04-20
*
Remove the "Boxed" syntaxes and the const_entry_boxed field
letouzey
2011-01-28
*
Fixed status of ÷ and × in coqdoc (they were seen as letter instead of symb...
herbelin
2010-12-06
*
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-12-04
*
Coqdoc patches from UPenn (thanks to C. Casinghino). This introduces the
msozeau
2010-09-28
*
Minor fixes of 'make doc'
pboutill
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
[next]