aboutsummaryrefslogtreecommitdiff
path: root/doc/macros.tex
AgeCommit message (Expand)Author
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-04-19 01:23:14 +0000