index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
doc
/
stdlib
/
Library.tex
Commit message (
Expand
)
Author
Age
*
Remove some outdated files and fix permissions.
Guillaume Melquiond
2015-07-31
*
Use the url package, since coqdoc generates \url commands.
Guillaume Melquiond
2014-10-27
*
Fix failure to compile doc/stdlib/Library.tex.
gmelquio
2012-09-15
*
Minor fixes of 'make doc'
pboutill
2010-09-28
*
Remove the svn-specific $Id$ annotations
letouzey
2010-04-29
*
Fix the stdlib doc compilation + switch all .v file to utf8
letouzey
2009-09-28
*
Various coqdoc improvements:
msozeau
2008-10-22
*
2-3 petites modifs sur la doc
notin
2008-06-10
*
Add almost empty Classes.tex for documentation of type classes.
msozeau
2008-04-17
*
migration of the old IntMap library from StdLib to a user contrib (Cachan/Int...
letouzey
2008-03-19
*
A better Program documentation. Include it in the generated stdlib doc.
msozeau
2007-08-08
*
Mise en forme des theories
notin
2006-10-17
*
r8637@thot: notin | 2006-03-14 16:00:49 +0100
notin
2006-03-14
*
Typo
herbelin
2006-03-03
*
Mise à jour des Makefile, ajout licences, corrections mineures suite à
herbelin
2006-02-23
*
Nettoyage de l'archive doc et restructuration avant intégration à l'archive
herbelin
2006-02-23