aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2002-01-15Correction de de Bruijn incorrect pour le cas de dépendances vers l'avantherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2396 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-15Test le filtrage dépendant vers l'avantherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2395 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-14Soleil revenuherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2393 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-11Orthographeherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2392 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-11Pour déterminer sous Windows si ocaml est en version cygwin ou win32herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2391 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-10Bugs et raffinementsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2390 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-10Ajout flushherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2389 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-10MAJ ocaml 3.04 sur Windowsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2388 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-10MAJ ocaml 3.04 sur Windowsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2387 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-10Absence de soleilherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2386 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-10Modifs incongrues dans le précédent commitherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2385 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-09MAJ des Id pour coqwebherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2384 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-07Relectureherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2383 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-07MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2382 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-07Ajout en-têteherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2381 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-07Report de la distrib en janvierherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2380 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-07Suppression de la dépendance des .vo en le nom physique des modulesherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2379 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-28MAJ 7.2herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2378 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-28MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2377 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-28MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2376 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-28MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2375 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-28MAJ adresse coqherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2374 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-23MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2373 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-21Un ++ au lieu d'un ;herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2372 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-21Passage coqwebherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2371 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-21Commentaire coqweb non ferméherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2370 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-21MAJ V7.2herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2369 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-21Extension de Evenherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2368 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-21Extension de Even et Div2herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2367 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-21*** empty log message ***herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2366 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-21Ajout d'un exemple de Christineherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2365 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-21Bug affichage '++' au lieu de ';'herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2364 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-21*** empty log message ***courant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2363 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-21comment faire le .debcourant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2362 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-21preparation V7.2courant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2361 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-21paquet Debiancourant
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2360 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-21maj CHANGES extraction + bug extraction & _letouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2359 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-20MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2358 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-20Convertibilité au lieu d'alpha-équivalence pour les motifs non linéaires ↵herbelin
de Match Context git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2357 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-20Mise en place de la réduction sous forme d'implications d'atomes en fn de têteherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2356 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-20Utilisation de Hnf plutôt que Redherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2355 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-20Non dépliage des Fix non réductibles dans Hnfherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2354 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-20Code mortherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2353 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-19Puisque Orelse semble lier moins que THEN, ajout d'un reduce après le Orelseherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2352 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-19Test sobriété de la réduction de Intuitionherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2351 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-19Test sobriété de la réduction de Intuitionherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2350 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-19MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2349 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-19Bug de de Bruijn pour le LetInherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2348 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-19Insertion de Red sur chaque atome dans Tauto et Intuitionherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2347 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-12-19suppression de commentaires obsoletesletouzey
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2346 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.25.1) at 2026-08-13 03:00:24 +0000