aboutsummaryrefslogtreecommitdiff
path: root/doc/macros.tex
AgeCommit message (Expand)Author
2006-02-23Nettoyage de l'archive doc et restructuration avant intégration à l'archiveherbelin
2004-03-02Documentation de 'Tactic Notation'herbelin
2004-02-23petits bug dans chapitre des modulesbarras
2004-01-22Ajout coercions dans les constructeurs et les declarationsherbelin
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-05correction bugs commit precedent et mise en forme htmlcoq
2003-12-30modif generales claudecoq
2003-12-28MAJherbelin
2003-12-23MAJherbelin
2003-12-23*** empty log message ***barras
2003-12-23*** empty log message ***barras
2003-12-21mise a jour Casesmohring
2003-12-19Correction de la grammaire des intro-patternsherbelin
2003-12-19Documentation 'inversion as'herbelin
2003-12-19*** empty log message ***barras
2003-12-19v8/CICmohring
2003-12-18mise a jour CICmohring
2003-12-18*** empty log message ***barras
2003-12-15typographiemarche
2003-12-14debut de mise a jour CICmohring
2003-12-12N gras, placement figuresmarche
2003-12-02*** empty log message ***filliatr
2003-12-01version et stylemarche
2003-11-24coqidemarche
2003-11-23Ajout/renommageherbelin
2003-11-21Ajout entreesherbelin
2003-02-03version 7.4filliatr
2003-01-19MAJ Ltacherbelin
2002-10-05Doc module, premiere versioncoq
2002-05-16MAJ V7.3herbelin
2001-12-23MAJ 7.2herbelin
2001-10-26MAJ, nettoyage coercionsherbelin
2001-10-02MAJ V7.1herbelin
2001-09-26Diversherbelin
2001-09-21Diverses MAJ V7.1 autour des qualidherbelin
2001-04-09Ajout syntaxe et regles let-inherbelin
2001-04-08Revision Tauto, AutoRewrite + Ajout de Ltacdelahaye
2000-12-16Ajout \qualid et \moduleherbelin
2000-12-15config avec autoconffilliatr
2000-12-12Initial revisionfilliatr
2006-03-06Deplacement du répertoire doc dans devnotin
1999-09-19un effort sur la doc (ocamlweb)filliatr
1999-09-10affichage des erreurs de typage dans minicoqfilliatr
1999-08-20programmation literaire : un fichier de description par repertoirefilliatr
1999-08-19documentation (prog literaire)filliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 17:18:17 +0000