aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2002-11-27Extraction des Record, suiteletouzey
2002-11-27Retour sur associativité à droite de * pour compatibilité de prodherbelin
2002-11-27Correction sur commit précédentherbelin
2002-11-27majfilliatr
2002-11-26Remplacement Grammar/Syntax par Notationherbelin
2002-11-26Remplacement des Grammar et des [| |] par des notationsherbelin
2002-11-26pseudo-parser ocamlyacc de la nouvelle syntaxebarras
2002-11-26Ne pas cacher les Metas d'une notations, ils peuvent être liant dansherbelin
2002-11-26Options make coqlight/ make install-coqlight pour les impatients...desmettr
2002-11-26Oubliherbelin
2002-11-26Option pour compiler une version 'light' des réelsdesmettr
2002-11-26MAJdesmettr
2002-11-26Theorie 'light' des réelsdesmettr
2002-11-26MAJherbelin
2002-11-26Réaffichage des Syntactic Definition (printer constr_expr).herbelin
2002-11-26Explicitation de NONA car sinon LEFTA par défaut; déplacement dans 5herbelin
2002-11-26Affichage nom le plus court pour Syntactic Definitionherbelin
2002-11-26Plus d'indication pour le gestionnaire de niveauxherbelin
2002-11-26Correction affichage entiers en cas d'échecherbelin
2002-11-26Bug ProjSn + retour de "Notation" pour déclarer les définitions syntaxiquesherbelin
2002-11-26Ajout list_map_assocherbelin
2002-11-26Bug niveauherbelin
2002-11-26debut de support des records camlletouzey
2002-11-26majfilliatr
2002-11-25correction bug n°191letouzey
2002-11-25cleanup table.ml + erreur si Extraction Inline sous sectionletouzey
2002-11-25Syntaxe delimiteursherbelin
2002-11-25Retablissement Syntactic Definitionherbelin
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-02 22:19:13 +0000