aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2002-01-15Mise de Intros id au format de Intro en forçant aussi la réduction si demandéherbelin
2002-01-15Correction de de Bruijn incorrect pour le cas de dépendances vers l'avantherbelin
2002-01-15Test le filtrage dépendant vers l'avantherbelin
2002-01-14Soleil revenuherbelin
2002-01-11Orthographeherbelin
2002-01-11Pour déterminer sous Windows si ocaml est en version cygwin ou win32herbelin
2002-01-10Bugs et raffinementsherbelin
2002-01-10Ajout flushherbelin
2002-01-10MAJ ocaml 3.04 sur Windowsherbelin
2002-01-10MAJ ocaml 3.04 sur Windowsherbelin
2002-01-10Absence de soleilherbelin
2002-01-10Modifs incongrues dans le précédent commitherbelin
2002-01-09MAJ des Id pour coqwebherbelin
2002-01-07Relectureherbelin
2002-01-07MAJherbelin
2002-01-07Ajout en-têteherbelin
2002-01-07Report de la distrib en janvierherbelin
2002-01-07Suppression de la dépendance des .vo en le nom physique des modulesherbelin
2001-12-28MAJ 7.2herbelin
2001-12-28MAJherbelin
2001-12-28MAJherbelin
2001-12-28MAJherbelin
2001-12-28MAJ adresse coqherbelin
2001-12-23MAJherbelin
2001-12-21Un ++ au lieu d'un ;herbelin
2001-12-21Passage coqwebherbelin
2001-12-21Commentaire coqweb non ferméherbelin
2001-12-21MAJ V7.2herbelin
2001-12-21Extension de Evenherbelin
2001-12-21Extension de Even et Div2herbelin
2001-12-21*** empty log message ***herbelin
2001-12-21Ajout d'un exemple de Christineherbelin
2001-12-21Bug affichage '++' au lieu de ';'herbelin
2001-12-21*** empty log message ***courant
2001-12-21comment faire le .debcourant
2001-12-21preparation V7.2courant
2001-12-21paquet Debiancourant
2001-12-21maj CHANGES extraction + bug extraction & _letouzey
2001-12-20MAJherbelin
2001-12-20Convertibilité au lieu d'alpha-équivalence pour les motifs non linéaires d...herbelin
2001-12-20Mise en place de la réduction sous forme d'implications d'atomes en fn de têteherbelin
2001-12-20Utilisation de Hnf plutôt que Redherbelin
2001-12-20Non dépliage des Fix non réductibles dans Hnfherbelin
2001-12-20Code mortherbelin
2001-12-19Puisque Orelse semble lier moins que THEN, ajout d'un reduce après le Orelseherbelin
2001-12-19Test sobriété de la réduction de Intuitionherbelin
2001-12-19Test sobriété de la réduction de Intuitionherbelin
2001-12-19MAJherbelin
2001-12-19Bug de de Bruijn pour le LetInherbelin
2001-12-19Insertion de Red sur chaque atome dans Tauto et Intuitionherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-23 04:51:27 +0000