aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2000-10-01Renommage AppL en App; Suppression castherbelin
2000-10-01whd_castapp_stack va de Term dans Reductionherbelin
2000-10-01Suppression de ensure_applherbelin
2000-10-01Bug message erreurherbelin
2000-10-01MAJherbelin
2000-10-01Code comateuxherbelin
2000-10-01Plus de whd_castappherbelin
2000-10-01Chasse aux de-cast inutilesherbelin
2000-10-01renommage map_constr_with_named_bindersherbelin
2000-10-01Plus de whd_castappherbelin
2000-10-01Plus de whd_castapp_stackherbelin
2000-10-01renommage map_constr_with_named_bindersherbelin
2000-10-01Passage de la structure DOPN, DOP2, ... à une structure exprimant directemen...herbelin
2000-10-01Disparition du type oper mais nouveau type global_referenceherbelin
2000-10-01Déplacement 'a reference et binder_kind de Term vers Rawtermherbelin
2000-10-01Code mortherbelin
2000-10-01Elimination de coupures...herbelin
2000-09-26Retrait de whd_ise1_metasherbelin
2000-09-26Nettoyage pretyping; ise_resolve_* devient understand_*; Ajout d'une notion d...herbelin
2000-09-26MAJherbelin
2000-09-18mise a jour dependancesfilliatr
2000-09-15On laisse les LetIn dans les types des constructeurs et des éliminationsherbelin
2000-09-15Commentairesherbelin
2000-09-15Messages d'erreursherbelin
2000-09-15Expression anglaiseherbelin
2000-09-14Minor correction for Ocamlweb + doc updatecoq
2000-09-14Bugs parenthèsesherbelin
2000-09-14MAJherbelin
2000-09-14Suppression Redinfo Sosub Abstractionherbelin
2000-09-14Abstraction de constrherbelin
2000-09-14Déplacement de fonctions de Reduction vers Tacredherbelin
2000-09-14Nouvelle version de frterm; ajout des contextes dans l'enviornnement de rédu...herbelin
2000-09-14Intégré à Tacredherbelin
2000-09-14Rendus obsolètes par le LetInherbelin
2000-09-14Abstraction de constrherbelin
2000-09-12MAJherbelin
2000-09-12Modification mkAppL; abstraction via kind_of_term; changement dans Reductionherbelin
2000-09-12Vers la paramétrisation des fonctions de Reduction et vers la fusion deherbelin
2000-09-10nettoyageherbelin
2000-09-10Correction pour make docherbelin
2000-09-10Suppression de Abstherbelin
2000-09-10Ajout d'un LetIn primitif.herbelin
2000-09-10Ajout d'un LetIn primitif.herbelin
2000-09-10Ajout d'un LetIn primitif.herbelin
2000-09-10Uniformisation AddPath, Print LoadPath, ... en Add Path, Print Path. Abstract...herbelin
2000-09-10Uniformisation AddPath, Print LoadPath, ... en Add Path, Print Pathherbelin
2000-09-10Intégration à Termherbelin
2000-09-06Canonisation de certains noms dans Pretyping, Asterm et Safe_typingherbelin
2000-09-06code mortherbelin
2000-09-06Ajout erreur unexpected typeherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-19 00:45:39 +0000