aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2002-11-18typoherbelin
2002-11-18Allègement du noyauherbelin
2002-11-18Analyse plus fine des occurrences rigidesherbelin
2002-11-18Ajout de Cases dans abbreviatable constr (aconstr) [utilisé dans laherbelin
2002-11-18Definition et proprietes de l'integrale de Riemanndesmettr
2002-11-18Proprietes des fonctions en escalierdesmettr
2002-11-18majfilliatr
2002-11-17Problème avec le choix d'introduire une indirection vers un rawconstr pourherbelin
2002-11-16Complétion du commit précédentherbelin
2002-11-16majfilliatr
2002-11-15Passage à une représentation des fixpoints plus primitive dans constr_expr ...herbelin
2002-11-15maj apres reparation d'un bug coqdepletouzey
2002-11-15Bug de coqdep qui n'acceptait pas les fichiers DOS (cf Binome.v)letouzey
2002-11-15Bug factorisation grammaireherbelin
2002-11-15majfilliatr
2002-11-14Compatibilité avec les << >> dans la très ancienne syntaxe des actionsherbelin
2002-11-14Bug factorisationherbelin
2002-11-14Restauration échappement MLherbelin
2002-11-14Re-ajout constrInherbelin
2002-11-14bugsherbelin
2002-11-14Réforme de l'interprétation des termes :herbelin
2002-11-14Oubliherbelin
2002-11-14MAJ syntaxeherbelin
2002-11-14JMeq now treated as an equality by tactics.courant
2002-11-14nettoyage preuve limit_compcourant
2002-11-14majfilliatr
2002-11-13simplification common_ancestorcourant
2002-11-13typocourant
2002-11-13Un revenant hors sujetherbelin
2002-11-12rep why ignorefilliatr
2002-11-10more cleaningherbelin
2002-11-08Correction bug PR#222coq
2002-11-08majfilliatr
2002-11-07Un hack camlp4 qui marche à tous les coups pour continuer à parser '(n)' co...herbelin
2002-11-07fix forbidden currified constructorsddr
2002-11-06Raffinement de l'heuristique d'unification dans sig_clausale_formeherbelin
2002-11-06Test de la correction d'un bug soumis par Dachuan Yuherbelin
2002-11-06Un Local construit par preuve hors section doit être considéré globalherbelin
2002-11-06majfilliatr
2002-11-05Intégration de la branche mowgliherbelin
2002-11-05Intégration des modifs de la branche mowgli :herbelin
2002-11-05Nouvelle option -xml à coqtop pour compiler un développement enherbelin
2002-11-05cosmetiqueletouzey
2002-11-04un bug concernant l'expansion des Map_rec si Map n'est pas ouvertletouzey
2002-11-04nettoyage et reorganisationletouzey
2002-11-04maj avec tous les mliletouzey
2002-11-04Un fichier a utiliser via Drop pour le debug de l'extraction.letouzey
2002-11-04ajout d'une entrée au makefile pour faire toutes les theories sauf les realsletouzey
2002-11-04ajout d'un printer pour les global_referenceletouzey
2002-11-03Ajout delimiteurs dans les motifs de Casesherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-03 23:45:28 +0000