aboutsummaryrefslogtreecommitdiff
path: root/doc/Makefile
AgeCommit message (Expand)Author
2006-03-25 r8708@thot: notin | 2006-03-24 18:55:01 +0100notin
2006-03-14 r8637@thot: notin | 2006-03-14 16:00:49 +0100notin
2006-03-10Ajout Tutorial on recursive typesherbelin
2006-02-23Uniformisation noms Library*.texherbelin
2006-02-23Mise à jour des Makefile, ajout licences, corrections mineures suite àherbelin
2005-01-25Suppression cible all-ps-docs; ajout www/index.htmlherbelin
2004-06-27Il faut 2 fois latex apr�s l'index (cf bug #793)herbelin
2004-04-15Ajout documentation exportation XMLherbelin
2004-01-14ajout d'une passe de latex our avoir un index correctbarras
2004-01-07plus derreur hevea/hachacoq
2004-01-06doc avec framesmohring
2004-01-06addendum comme part5, htmlsplit -> hachamohring
2004-01-06*** empty log message ***mohring
2004-01-06*** empty log message ***mohring
2004-01-05MAJ pour compilation coq-tex correcteherbelin
2004-01-05correction bugs commit precedent et mise en forme htmlcoq
2003-12-19COQBIN plus necessaire, typosmarche
2003-12-16coqide menus on golasmarche
2003-12-12coqidemarche
2003-12-10presentation, biblio;marche
2003-12-04coqidemarche
2003-12-02plus de pb avec referencemanual.shmarche
2003-12-01version et stylemarche
2003-11-24coqidemarche
2003-09-25passage V8filliatr
2003-02-13Backtrack faqherbelin
2003-02-13MAJ Remark/Factherbelin
2003-02-04Release 7.4desmettr
2002-10-05Doc module, premiere versioncoq
2002-09-10Correction bug Makefile docdesmettr
2002-05-22Library est maintenant engendr� par coqdocherbelin
2002-01-10MAJherbelin
2001-11-15cible coq.infofilliatr
2001-10-02Bug FTPDOCSherbelin
2001-09-27Suppression Changesherbelin
2001-09-27checkherbelin
2001-06-12Ajout de la doc pour la tactique Setoid_replace.clrenard
2001-04-26Amelioration de la creation de la doc Librarycoq
2001-04-25*** empty log message ***barras
2001-04-23Added the option -exec xxdate.exe to hevea for the current date while produci...coq
2001-04-19Ajoute Library.html a all-htmlmohring
2001-04-19Changement de Zarith en ZArithmohring
2001-04-19abandon de autonconf au profit de variables d'environnementfilliatr
2000-12-15config avec autoconffilliatr
2000-12-12Initial revisionfilliatr
2006-03-06Deplacement du répertoire doc dans devnotin
2005-01-21MAJherbelin
2002-12-17exemple complet de parserbarras
2001-12-11ajout du document sur la nouvelle syntaxebarras
2000-07-26dvips -o ==> dvips -o $@coq
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 02:27:55 +0000