aboutsummaryrefslogtreecommitdiff
path: root/doc/stdlib/Library.tex
AgeCommit message (Expand)Author
2015-07-31Remove some outdated files and fix permissions.Guillaume Melquiond
2014-10-27Use the url package, since coqdoc generates \url commands.Guillaume Melquiond
2012-09-15Fix failure to compile doc/stdlib/Library.tex.gmelquio
2010-09-28Minor fixes of 'make doc'pboutill
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2009-09-28Fix the stdlib doc compilation + switch all .v file to utf8letouzey
2008-10-22Various coqdoc improvements:msozeau
2008-06-102-3 petites modifs sur la docnotin
2008-04-17Add almost empty Classes.tex for documentation of type classes.msozeau
2008-03-19migration of the old IntMap library from StdLib to a user contrib (Cachan/Int...letouzey
2007-08-08A better Program documentation. Include it in the generated stdlib doc.msozeau
2006-10-17Mise en forme des theoriesnotin
2006-03-14 r8637@thot: notin | 2006-03-14 16:00:49 +0100notin
2006-03-03Typoherbelin
2006-02-23Mise à jour des Makefile, ajout licences, corrections mineures suite àherbelin
2006-02-23Nettoyage de l'archive doc et restructuration avant intégration à l'archiveherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 20:56:31 +0000