aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/stdlib/Library.tex
Commit message (Expand)AuthorAge
* Remove some outdated files and fix permissions.Gravatar Guillaume Melquiond2015-07-31
* Use the url package, since coqdoc generates \url commands.Gravatar Guillaume Melquiond2014-10-27
* Fix failure to compile doc/stdlib/Library.tex.Gravatar gmelquio2012-09-15
* Minor fixes of 'make doc'Gravatar pboutill2010-09-28
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Fix the stdlib doc compilation + switch all .v file to utf8Gravatar letouzey2009-09-28
* Various coqdoc improvements:Gravatar msozeau2008-10-22
* 2-3 petites modifs sur la docGravatar notin2008-06-10
* Add almost empty Classes.tex for documentation of type classes.Gravatar msozeau2008-04-17
* migration of the old IntMap library from StdLib to a user contrib (Cachan/Int...Gravatar letouzey2008-03-19
* A better Program documentation. Include it in the generated stdlib doc.Gravatar msozeau2007-08-08
* Mise en forme des theoriesGravatar notin2006-10-17
* r8637@thot: notin | 2006-03-14 16:00:49 +0100Gravatar notin2006-03-14
* TypoGravatar herbelin2006-03-03
* Mise à jour des Makefile, ajout licences, corrections mineures suite àGravatar herbelin2006-02-23
* Nettoyage de l'archive doc et restructuration avant intégration à l'archiveGravatar herbelin2006-02-23
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-16 18:37:19 +0000