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
*
Report de la révision #12104 (Maj lien site web de Coq)
notin
2009-04-24
*
Take formatted into account in rules for dot.
msozeau
2009-04-08
*
Change HTML paragraph output to avoid too much space after bulleted
msozeau
2009-04-08
*
Fix behavior on newlines with parse-comments and also do [] escaping as
msozeau
2009-04-06
*
Protect typeset arguments in titles in LaTeX output (fixes compilation
msozeau
2009-03-26
*
Fix coqdoc bugs reported by Ian Lynagh.
msozeau
2009-03-24
*
pretty.mll of coqdoc becomes cpretty.mll (avoid clash with a camlp5 file)
letouzey
2009-03-24
*
More elaborate handling of newlines in Gallina mode. Support inline
msozeau
2009-03-22
*
coqdoc fixes and support for parsing regular comments (request by
msozeau
2009-03-22
*
Report des revisions #11826, #11828 et #11829 de v8.2 vers trunk
notin
2009-02-11
*
Fix d'un bug avec l'option gallina
notin
2009-02-04
*
- Better deal with commands inside section titles in latex output using
msozeau
2009-01-21
*
Various little fixes:
msozeau
2009-01-18
*
Patch by Brian Campbell to output more information on the exception that
msozeau
2009-01-15
*
Minor doc fixes:
msozeau
2009-01-08
*
Suite de la révision #11756
notin
2009-01-07
*
Produce better html code with coqdoc and improve doc:
msozeau
2008-12-29
*
Nettoyage des variables Coq et amélioration de coqmktop. Les
notin
2008-12-19
*
Amélioration du README.doc et de l'installation de la doc
notin
2008-11-14
*
Minor fixes:
msozeau
2008-11-05
*
Ajout d'une option -raw pour Coqdoc (sortie en texte brut)
notin
2008-10-31
*
Stop using a coqdocdoc env which prevents use of environments inside
msozeau
2008-10-26
*
Various coqdoc improvements:
msozeau
2008-10-22
*
## Lines starting with '## ' will be removed from the log message.
msozeau
2008-10-06
*
Minor fixes related to coqdoc and --interpolate and the dependent
msozeau
2008-10-03
*
Forgot one file.
msozeau
2008-09-25
*
Improvements in coqdoc:
msozeau
2008-09-25
*
Add types introduced by subtac in *.glob files
glondu
2008-09-15
*
Correction du bug #1908 (améliorations de coqdoc.css)
notin
2008-09-04
*
Rétablissement de l'option -dump-glob de coq top et de l'option -glob-from d...
notin
2008-07-18
*
- coqdoc: correction d'un bug sur les commentaires imbriqués
notin
2008-07-17
*
Oubli lors de la révision #11177
notin
2008-06-26
*
Création du fichier dumpglob.ml, qui rassemble les fonctions de globalisatio...
notin
2008-06-25
*
Little fixes: print unbound variable in error message (patch by Samuel
msozeau
2008-06-19
*
Add possibility to match on defined hypotheses, using brackets to
msozeau
2008-06-16
*
Correction d'un problème lié à une interaction entre hyperref et
notin
2008-06-12
*
- Correct handling of DependentMorphism error, using tclFAIL instead of
msozeau
2008-06-10
*
Enhancements to coqdoc, better globalization of sections and modules.
msozeau
2008-06-06
*
Fix setoid_rewrite documentation examples.
msozeau
2008-06-03
*
Improvements on coqdoc by adding more information into .glob
msozeau
2008-05-30
*
add support for pdf in coqdoc, add export to pdf in coqide, port open and sav...
jnarboux
2008-05-28
*
Ajout d'options a coqdoc pour l'entete html
notin
2008-04-08
*
Correction du bug #1814 (trunk et v8.1) + améliorations dans coqdep et coq_m...
notin
2008-03-26
*
Génération d'une toc en html et avec l'option -ps
notin
2008-02-27
*
Amélioration de la gestion des chemins physiques (corrige au passage le bug ...
notin
2008-02-27
*
Bug de coqdoc : les commentaires simples généraient des lignes vides
notin
2008-02-25
*
Correction d'un bug de Coqdoc (indentation des lignes)
notin
2008-02-25
*
Bug de Coqdoc avec l'option -R
notin
2008-02-14
*
Reconnaissance des tokens dans les notations (suite à la revision r10562)
notin
2008-02-14
*
Correction du bug #1512
notin
2008-02-13
[next]