index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
doc
/
stdlib
/
index-list.html.template
Commit message (
Expand
)
Author
Age
*
- Structuring Numbers and fixing Setoid in stdlib's doc.
herbelin
2009-01-19
*
Backporting from v8.2 to trunk:
herbelin
2009-01-18
*
Produce better html code with coqdoc and improve doc:
msozeau
2008-12-29
*
Update stdlib html template
glondu
2008-09-15
*
Fix library index template and associated script.
msozeau
2008-06-07
*
Fix setoid_rewrite documentation examples.
msozeau
2008-06-03
*
some references to IntMap forgotten in last commit
letouzey
2008-03-19
*
updates concerning FSets
letouzey
2008-02-08
*
Ajout de l'axiomatisation des entiers à la documentation de la librairie sta...
notin
2007-11-28
*
A better Program documentation. Include it in the generated stdlib doc.
msozeau
2007-08-08
*
Modifications de la construction de la documentation de la librairie
notin
2007-07-25
*
Correction du bug #1441
notin
2007-03-16
*
Typo + ajout Qcanon.v
herbelin
2006-11-11
*
MAJ liste fichiers doc stdlib
herbelin
2006-06-09
*
Support des modules dans Coqdoc
notin
2006-05-26
*
- correction d'un bug dans coqdoc (multi_index)
notin
2006-03-28
*
r8709@thot: notin | 2006-03-25 01:48:46 +0100
notin
2006-03-25
*
Mise à jour des Makefile, ajout licences, corrections mineures suite à
herbelin
2006-02-23