aboutsummaryrefslogtreecommitdiff
path: root/doc/RefMan-cic.tex
AgeCommit message (Collapse)Author
2006-02-23Nettoyage de l'archive doc et restructuration avant intégration à l'archiveherbelin
principale de Coq et publication des sources (HH) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8606 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-05-05suite commit pr�c�dentherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8601 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-05-05Correction du bug de contraintes d'univers dans exType (mentionn� par ↵herbelin
Georges Gonthier) + diverses corrections de l'anglais US git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8599 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-14ajout d'une passe de latex our avoir un index correctbarras
+ quelques petites retouches sur la doc git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8476 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-05correction bugs commit precedent et mise en forme htmlcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8456 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-21*** empty log message ***mohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8435 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-21*** empty log message ***mohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8434 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-21*** empty log message ***mohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8433 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-19mise a jour V8mohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8428 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-19*** empty log message ***barras
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8424 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-19Mise a jour V8mohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8419 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-18mise a jour CICmohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8413 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-14debut de mise a jour CICmohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8396 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-12typomarche
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8387 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-09-25passage V8filliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8340 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-05-14*** empty log message ***mohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8279 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-04-11paragraphe obsolete sur l'extractionletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8275 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-03-01Quelques pr�cisions sur la convertibilit� et les tactiques Cbv/Lazyherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8273 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-10-18Typosherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8253 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-10-17Oubli de cas pour le sous-typageherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8252 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-10-17Oubli de cas pour le sous-typageherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8251 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-10-17Corrections diversesherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8250 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-09-24Mise en place avertissements pour rep�rer les erreurs volontaires de coq-texherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8226 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-10cicmohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8185 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-04-09Ajout syntaxe et regles let-inherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8176 85f007b7-540e-0410-9357-904b9bb8a0f7
2000-12-12Initial revisionfilliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8143 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-06 02:04:51 +0000