aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* 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
* portage EAuto et RingGravatar filliatr2000-06-21
* RingGravatar filliatr2000-06-21
* theories/RealsGravatar filliatr2000-06-21
* theories/RelationsGravatar filliatr2000-06-21
* theories/SetsGravatar filliatr2000-06-21
* theories/ListsGravatar filliatr2000-06-21
* Code mortGravatar herbelin2000-06-15
* Auto with zarith provisoirement remplace par un OmegaGravatar filliatr2000-06-12
* mise a jourGravatar filliatr2000-06-12
* dependance des CONTRIBVO envers initial.coqGravatar filliatr2000-06-12
* BugsGravatar herbelin2000-06-09
* Amelioration messages erreursGravatar herbelin2000-06-09
* DocGravatar herbelin2000-06-09
* DiversGravatar herbelin2000-06-03
* Retrait des lam_and_pop and co (2ème - bug)Gravatar herbelin2000-06-03
* Retrait des lam_and_pop and coGravatar herbelin2000-06-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-07 15:23:01 +0000