aboutsummaryrefslogtreecommitdiff
path: root/interp
AgeCommit message (Expand)Author
2003-09-26Nouvelle serie de traductionsherbelin
2003-09-26Un peu plus de souplesse dans la globalisation des noms utilises par les tact...herbelin
2003-09-26Decouplage printing en v8 pour les interpretations de notationsherbelin
2003-09-23Changement de l'afficheur pour que les variables liées aient un nom indépen...herbelin
2003-09-22traducteur: affiche les commentaires a l'interieur des commandesbarras
2003-09-22Bug d'externalisation des constantes avec uniquement des implicitesherbelin
2003-09-21Mise en place d'implicites par noms en v8herbelin
2003-09-21Changement de la politique de V8only: V8only tout seul signifieherbelin
2003-09-21Mise en place d'implicites par noms en v8herbelin
2003-09-19parsingherbelin
2003-09-18Traduction de '_' comme referenceherbelin
2003-09-18Parsing correct des explicites en cas de projectionherbelin
2003-09-12Activation déclaration automatique de scope d'arguments; affichage scopes d'...herbelin
2003-09-12Activation déclaration automatique de scope d'argumentsherbelin
2003-09-12Scope type pour le codomaine de Prod aussi; ajout extern_rawtypeherbelin
2003-09-12Scope type pour le codomaine de Prod aussiherbelin
2003-09-12open superfluherbelin
2003-09-10Renommage des variables '_'herbelin
2003-09-10Ajout 'mod' comme keywordherbelin
2003-09-09Ajout construction If primitive dans constr_expr et rawconstrherbelin
2003-09-09Ajout If; synchro avec constrexternherbelin
2003-09-09Ajout If; renommage de l'ident '_'herbelin
2003-09-06Paramétrisation vis à vis de existential_keyherbelin
2003-09-06cosmetiqueherbelin
2003-09-02Plus de passage du scope tmp sous les lambdasherbelin
2003-08-31Symetrisation des changements implicites de scopeherbelin
2003-08-14Traducteur de correctnessherbelin
2003-08-12Bug et améliorations diversesherbelin
2003-08-11Ajout LetTupleherbelin
2003-08-11Nouvelle mouture du traducteur v7->v8herbelin
2003-06-10Ajout notation c.(f) en v8 pour les projections de Recordherbelin
2003-06-10Déplacement traducteur de nom dans Constrextern pour accès aux noms longsherbelin
2003-06-10Amélioration afficheur de Cases pour les constr_patternherbelin
2003-06-10Extension de Locate sur les symboles avec recherche de sous-chaînes; mise en...herbelin
2003-05-21Suppression définitive de lmatch et or_metanum dans tacinterpherbelin
2003-05-21Fusion à l'essai de lmatch et lfun dans tacinterp; utilisation de noms pour ...herbelin
2003-05-19Renommage CMeta en CPatVar qui sert à saisir les PMeta de Patternherbelin
2003-05-19Restructuration des procédures de filtrageherbelin
2003-05-14Hack pour ameliorer l'affichage des applications dans les `...` etherbelin
2003-04-29Prise en compte des syntaxes v8 dans Uninterpreted Notationherbelin
2003-04-17Ajout "at next level" dans Notationherbelin
2003-04-16simplification: fst (list_chop n l) = firstn n l et snd (list_chop n l) = lis...letouzey
2003-04-16On force l'affichage des implicites non '?' lors de la traductionherbelin
2003-04-15Affichage coercions en mode -(f)translateherbelin
2003-04-11Ajout option 'Local' à Infix et Notationherbelin
2003-04-10Affichage forcé des implicites contextuels si pas de contexte connuherbelin
2003-04-10Relachement globalisation Unfold en usage interactifherbelin
2003-04-09Mécanisme plus simple et efficace pour traduire les implicitesherbelin
2003-04-09Réorganisation de Impargs + mise en place d'une infrastructureherbelin
2003-04-08Application de l'absence d'export aux modulesherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-23 00:47:02 +0000