aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2000-06-29Normalisation des Evar avant génération des erreursherbelin
2000-06-29Bricolesherbelin
2000-06-29Renommage mk_unsafe_judgment en get_judgment_ofherbelin
2000-06-29Extension de l'inférence des types des lambdas du prédicatherbelin
2000-06-29Achèvement abstraction du mécanisme (optionnel) de castherbelin
2000-06-29Rienherbelin
2000-06-29Essai de simplification compte tenu de l'info de locationherbelin
2000-06-28Modifs de presentation.delahaye
2000-06-28Rattrapage d'un Not_found pour les VAR's.delahaye
2000-06-27Retrait du 'strip' en cas de profilingherbelin
2000-06-21$BINDER -> BINDERfilliatr
2000-06-21 - $BINDER -> BINDER dans g_constr.ml4 (=> erreur syntax Fix)filliatr
2000-06-21Require Plus ajoutefilliatr
2000-06-21bug discharge STRUCTURE; FrozenState supprimmes dans les ClosedSection -> .vo...filliatr
2000-06-21portage EAuto et Ringfilliatr
2000-06-21Ringfilliatr
2000-06-21theories/Realsfilliatr
2000-06-21theories/Relationsfilliatr
2000-06-21theories/Setsfilliatr
2000-06-21theories/Listsfilliatr
2000-06-15Code mortherbelin
2000-06-12Auto with zarith provisoirement remplace par un Omegafilliatr
2000-06-12mise a jourfilliatr
2000-06-12dependance des CONTRIBVO envers initial.coqfilliatr
2000-06-09Bugsherbelin
2000-06-09Amelioration messages erreursherbelin
2000-06-09Docherbelin
2000-06-03Diversherbelin
2000-06-03Retrait des lam_and_pop and co (2ème - bug)herbelin
2000-06-03Retrait des lam_and_pop and coherbelin
2000-06-03Retrait des lam_and_pop and co; ajout d'un destructeur 'lispien' de constrherbelin
2000-06-02Retrait de decomp_prod non conforme à sa specherbelin
2000-06-02Retrait de certains castsherbelin
2000-06-02bugs infrence des arguments manquants dans le prdicatherbelin
2000-06-02bugs et simplification (suite)herbelin
2000-06-02docherbelin
2000-06-02MAJherbelin
2000-06-02Bug DLAM dans strongherbelin
2000-06-02Bugs/Messages d'erreursherbelin
2000-06-02Mise en place d'un choix constr/typed_type en remplacement de certains Castherbelin
2000-06-02Bugs et simplifications coercionsherbelin
2000-06-02':>' est devenu un seul tokenherbelin
2000-06-01Mise en place d'un choix constr/typed_type en remplacement de certains Castherbelin
2000-06-01Mise en place d'un choix constr/typed_type en remplacement de certains Castherbelin
2000-05-31Afficahge des locationsherbelin
2000-05-31Nettoyage de Genericherbelin
2000-05-31docherbelin
2000-05-31Nettoyage de Generic;Suppression des DLAM en tête des listes de constructeursherbelin
2000-05-31Amélioration capture des erreursherbelin
2000-05-26Modification messages d'erreurs, possibilité de n'importe quel constr dans l...herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-20 17:18:47 +0000