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
*
update of the file list in doc/stdlib
letouzey
2011-05-06
*
Restore documentation of library String which was removed in 2007 (r10049)
herbelin
2011-03-05
*
Remove obsolete TheoryList
glondu
2011-02-10
*
Numbers and bitwise functions.
letouzey
2010-12-06
*
Integer division: quot and rem (trunc convention) in addition to div and mod
letouzey
2010-11-10
*
Numbers: axiomatization, properties and implementations of gcd
letouzey
2010-11-05
*
Numbers : log2. Abstraction, properties and implementations.
letouzey
2010-11-02
*
Move stuff about positive into a distinct PArith subdir
letouzey
2010-11-02
*
FSetPositive: sets of positive inspired by FMapPositive.
letouzey
2010-07-16
*
Update of documentation for the standard library (cf. #2332)
letouzey
2010-06-28
*
Remove useless MonoList.v
glondu
2009-09-17
*
- 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