aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2002-11-25MAJ delimiters et niveaux d'associativiteherbelin
2002-11-25Z dans les patterns via les scopesherbelin
2002-11-25Rétablissement affichage des entiers de natherbelin
2002-11-25Retablissement SynDef Value/Errorherbelin
2002-11-25Oubliherbelin
2002-11-25MAJherbelin
2002-11-25Retour sur le choix des delimiteursherbelin
2002-11-25majfilliatr
2002-11-24Traitement des parenthèses de nat au niveau du printerherbelin
2002-11-24Rétablissement printer via astherbelin
2002-11-24MAJherbelin
2002-11-24Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior...herbelin
2002-11-24Généralisation de l'utilisation de Notationherbelin
2002-11-24Installation des printers de nombres pour constr_exprherbelin
2002-11-24Remplacement de Syntactic Definition par Notationherbelin
2002-11-24Ajout Refmapherbelin
2002-11-24Ajout option_consherbelin
2002-11-24Ajout zeroherbelin
2002-11-24Ajout interpherbelin
2002-11-24Nettoyageherbelin
2002-11-20Les parenthèses de la notation '(n)' maintemant mises par ML pour un meilleu...herbelin
2002-11-20Introduction d'un constructeur ARROW; rétablissement priorités desherbelin
2002-11-20Correction des priorités des TOMATCHherbelin
2002-11-20Ajout option_fold_left2herbelin
2002-11-19Autoriser les abbreviations de Casesherbelin
2002-11-18remaniement de test_extraction.vletouzey
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-08 03:09:56 +0000