aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2002-11-27cond_pos -> cond_positivity pour cause de conflit avec posreal...desmettr
2002-11-27Réorganisation de la librairie des réelsdesmettr
2002-11-27Réorganisation de la librairie des réelsdesmettr
2002-11-27Ajout répertoire interpherbelin
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-24 02:59:09 +0000