index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
tools
/
coqdoc
/
output.ml
Commit message (
Expand
)
Author
Age
*
Remove fourier plugin
Maxime Dénès
2018-07-17
*
coqdoc Index.find_string: remove unused argument.
Gaëtan Gilbert
2018-07-03
*
Update headers following #6543.
Théo Zimmermann
2018-02-27
*
Fixing #5648 (too early decision of tagging ident as keyword in html coqdoc).
Hugo Herbelin
2017-07-15
*
Bump year in headers.
Pierre-Marie Pédrot
2017-07-04
*
Merge PR#692: Fail on deprecated warning even for Ocaml > 4.02.3
Maxime Dénès
2017-05-30
|
\
|
*
Fail on deprecated warning even for Ocaml > 4.02.3
Gaëtan Gilbert
2017-05-28
*
|
[coqdoc] Add keywords in bug 2884.
Emilio Jesus Gallego Arias
2017-05-20
|
/
*
Removing dead code and unused opens.
Pierre-Marie Pédrot
2016-05-08
*
Update copyright headers.
Maxime Dénès
2016-01-20
*
Documenting how to support some special unicode characters in coqdoc
Hugo Herbelin
2015-09-26
*
Do not escape "'" when outputting to html, especially not using "´".
Guillaume Melquiond
2015-03-31
*
Update headers.
Maxime Dénès
2015-01-12
*
coqdoc: fix a few issues with xhtml validity (backport 1636f7 and 754abf1 fro...
Pierre Letouzey
2014-12-09
*
Port to trunk commit r16062 of v8.4 (Correction des entêtes pour la document...
notin
2014-12-09
*
Use the url package, since coqdoc generates \url commands.
Guillaume Melquiond
2014-10-27
*
Add a [Variant] declaration which allows to write non-recursive variant types.
Arnaud Spiwack
2014-09-04
*
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
*
Renaming SearchAbout into Search and Search into SearchHead.
herbelin
2013-04-17
*
Removed dead code about linking Module names in coqdoc.
herbelin
2012-10-16
*
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
*
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
*
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
*
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
*
Remove the "Boxed" syntaxes and the const_entry_boxed field
letouzey
2011-01-28
*
Better fix to bug #2183 ("moduleid" internal name got exposed to users
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
*
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
*
Several bug-fixes and improvements of coqdoc
herbelin
2010-03-29
*
Fix "Existing Instance" to handle globality information and "Existing
msozeau
2009-12-27
*
Misc fixes.
msozeau
2009-11-06
*
Removed 'dest' from keyword highlighting.
gmelquio
2009-10-30
*
Added option --external to coqdoc to bind an url to an external library.
herbelin
2009-10-27
*
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
*
Fix the bug-ridden code used to choose leibniz or generalized
msozeau
2009-09-08
[next]