aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2002-12-03Essai d'introduction d'un scope des typesherbelin
2002-12-03Etape intermédiaire d'adaptation de la connexion à pcoq aux nouvellesbertot
2002-12-03Pas de globalisation impérative pour les Grammarherbelin
2002-12-03Calcul de l'associativité même pour les Grammar avec plusieurs clausesherbelin
2002-12-03Le '.' peut faire partie d'un tokenherbelin
2002-12-03majfilliatr
2002-12-02Remplacement Grammar par Notationherbelin
2002-12-02MAJ sur MAJherbelin
2002-12-02Remplacement de Syntactic Definition par Notationherbelin
2002-12-02Associativité de constr9 et lconst à RIGHTA qui est le plus courantherbelin
2002-12-02Ajout des options "Set Contextual Implicits" et "Set Strict Implicitsherbelin
2002-12-02Re-déplacement du résultat de Grammar au niveau constr_expr (globalisation ...herbelin
2002-12-02Ajout des options "Set Contextual Implicits" et "Set Strict Implicitsherbelin
2002-12-02Re-déplacement du résultat de Grammar au niveau constr_exprherbelin
2002-12-02Z_scope doit annuler l'affichage de = entreherbelin
2002-12-02On force l'associativité pour les entrées sans niveauxherbelin
2002-12-01Synchro level (suite)herbelin
2002-11-30majfilliatr
2002-11-292 bugs: 1) projections pas renommées 2) mutual fixpoints a l'enversletouzey
2002-11-29Raffinement syntaxe Infixherbelin
2002-11-29Utilisation de Snext pour gérer les symboles non associatifsherbelin
2002-11-29MAJherbelin
2002-11-29Synchro de la table des niveaux avec les sectionsherbelin
2002-11-29constr9 et lconstr NONA pour une meilleur extensibilitéherbelin
2002-11-29Re-échappement des \ et " dans les token stringherbelin
2002-11-29majfilliatr
2002-11-29cosmetiqueletouzey
2002-11-28Remaniement du pp, suite: vers un renommage modulaire correcteletouzey
2002-11-28Quelques Set et Map spécialisésletouzey
2002-11-28Affinement de la gestion des niveaux toujours; type ETBigintherbelin
2002-11-28Essai d'une autre syntaxe pour la dlimitation des scopesherbelin
2002-11-28Ajout d'une entre Prim.bigintherbelin
2002-11-28Court-circuit de g_zsyntaxherbelin
2002-11-28Bug exceptionherbelin
2002-11-28Court-circuit de g_zsyntaxherbelin
2002-11-28Simplificationherbelin
2002-11-28Essai de suppression du caractere d'echappement des stringherbelin
2002-11-28Oubliherbelin
2002-11-28suite et fin des records avec ocamlletouzey
2002-11-28 bug pp letin + un inductif constant n'est pas un recordletouzey
2002-11-28Re-Oupsletouzey
2002-11-28Oupsletouzey
2002-11-28Reorganisation du pretty-print:letouzey
2002-11-28A usage cosmetiqueletouzey
2002-11-28typo ?letouzey
2002-11-28majfilliatr
2002-11-28Nettoyageherbelin
2002-11-28Affinement encoreherbelin
2002-11-28Plus de précisionsherbelin
2002-11-28Affinement de la gestion des niveauxherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-20 22:36:03 +0000