aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* Fail n + appel de interpGravatar delahaye2000-07-21
* Modifs d'interpretation de patternsGravatar delahaye2000-07-21
* Modifs d'interpretation de patterns + exceptions dans le lexerGravatar delahaye2000-07-21
* Pattern -> parsingGravatar delahaye2000-07-21
* portage RefineGravatar filliatr2000-07-20
* tests RefineGravatar filliatr2000-07-20
* Quelques (*i*) pour ne pas casser oczmlwebGravatar coq2000-07-19
* Adaptation pour Alpha.Gravatar delahaye2000-07-05
* Adaptation pour alpha.Gravatar delahaye2000-07-05
* correctionGravatar mayero2000-07-04
* ajoutsGravatar mayero2000-07-03
* Opaque pas encore implementee; syntax langage tactiquesGravatar filliatr2000-07-03
* Traduction de syntaxe vers ltacGravatar delahaye2000-07-03
* Correction de CofixGravatar delahaye2000-07-03
* Plus de env et sigma dans get_arity, plus de sigma dans make_arityGravatar herbelin2000-07-01
* Précalcul de la forme canonique des constructeurs et arités pour traiter le...Gravatar herbelin2000-07-01
* Ajout fonctions sur les aritésGravatar herbelin2000-07-01
* Plus de env et sigma dans get_arity, plus de sigma dans make_arityGravatar herbelin2000-07-01
* Précalcul de la forme canonique des constructeurs et arités pour traiter le...Gravatar herbelin2000-07-01
* Séparation des caractères spéciaux par un blancGravatar herbelin2000-07-01
* Retrait des parenthèses inutiles autour des tactiquesGravatar herbelin2000-07-01
* Extension de find_inductive aux co-inductifs et renommage en find_rectypeGravatar herbelin2000-07-01
* Le bon type pour list_fold_right_and_leftGravatar herbelin2000-07-01
* index devenu list_index échoue maintenant avec Not_found et plus FailureGravatar herbelin2000-07-01
* Bug: on tentait de déclarer un schéma d'induction pour un coinductifGravatar herbelin2000-07-01
* Extension de find_inductive aux co-inductifs et renommage en find_rectypeGravatar herbelin2000-07-01
* fonction list_fold_left_right pas definieGravatar filliatr2000-06-30
* Capture erreur de create_processGravatar herbelin2000-06-29
* Ajout list_fold_right_and_leftGravatar herbelin2000-06-29
* MAJGravatar herbelin2000-06-29
* Utilisation du STRIP de config/Makefile pour gérer le mode profileGravatar herbelin2000-06-29
* Renommage mk_unsafe_judgment en get_judgment_of; ajout get_assumption_ofGravatar herbelin2000-06-29
* Séparation des contraintes de type et de valeur dans pretypingGravatar herbelin2000-06-29
* Relative prend sigma en plus pour la normalisation du message d'erreurGravatar herbelin2000-06-29
* BroutillesGravatar herbelin2000-06-29
* Ajout make_typed_lazyGravatar herbelin2000-06-29
* Normalisation des Evar avant génération des erreursGravatar herbelin2000-06-29
* BricolesGravatar herbelin2000-06-29
* Renommage mk_unsafe_judgment en get_judgment_ofGravatar herbelin2000-06-29
* Extension de l'inférence des types des lambdas du prédicatGravatar herbelin2000-06-29
* Achèvement abstraction du mécanisme (optionnel) de castGravatar herbelin2000-06-29
* RienGravatar herbelin2000-06-29
* Essai de simplification compte tenu de l'info de locationGravatar herbelin2000-06-29
* Modifs de presentation.Gravatar delahaye2000-06-28
* Rattrapage d'un Not_found pour les VAR's.Gravatar delahaye2000-06-28
* Retrait du 'strip' en cas de profilingGravatar herbelin2000-06-27
* $BINDER -> BINDERGravatar filliatr2000-06-21
* - $BINDER -> BINDER dans g_constr.ml4 (=> erreur syntax Fix)Gravatar filliatr2000-06-21
* Require Plus ajouteGravatar filliatr2000-06-21
* bug discharge STRUCTURE; FrozenState supprimmes dans les ClosedSection -> .vo...Gravatar filliatr2000-06-21
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-31 12:37:57 +0000