aboutsummaryrefslogtreecommitdiff
path: root/doc/RefMan-cic.tex
AgeCommit message (Expand)Author
2006-02-23Nettoyage de l'archive doc et restructuration avant intégration à l'archiveherbelin
2005-05-05suite commit pr�c�dentherbelin
2005-05-05Correction du bug de contraintes d'univers dans exType (mentionn� par Georg...herbelin
2004-01-14ajout d'une passe de latex our avoir un index correctbarras
2004-01-05correction bugs commit precedent et mise en forme htmlcoq
2003-12-21*** empty log message ***mohring
2003-12-21*** empty log message ***mohring
2003-12-21*** empty log message ***mohring
2003-12-19mise a jour V8mohring
2003-12-19*** empty log message ***barras
2003-12-19Mise a jour V8mohring
2003-12-18mise a jour CICmohring
2003-12-14debut de mise a jour CICmohring
2003-12-12typomarche
2003-09-25passage V8filliatr
2002-05-14*** empty log message ***mohring
2002-04-11paragraphe obsolete sur l'extractionletouzey
2002-03-01Quelques pr�cisions sur la convertibilit� et les tactiques Cbv/Lazyherbelin
2001-10-18Typosherbelin
2001-10-17Oubli de cas pour le sous-typageherbelin
2001-10-17Oubli de cas pour le sous-typageherbelin
2001-10-17Corrections diversesherbelin
2001-09-24Mise en place avertissements pour rep�rer les erreurs volontaires de coq-texherbelin
2001-04-10cicmohring
2001-04-09Ajout syntaxe et regles let-inherbelin
2000-12-12Initial revisionfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-05 20:31:19 +0000