aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* MAJGravatar herbelin2000-10-04
* Ajout LetIn dans prim_extractorGravatar herbelin2000-10-04
* Nouveau bug dans la réduction de Fix par red_elim_constGravatar herbelin2000-10-04
* Touche finale à la réduction du let in dans conv et closureGravatar herbelin2000-10-04
* Elimination des coupures sur le type constantGravatar herbelin2000-10-04
* code mortGravatar herbelin2000-10-04
* Renommage tactique Let en LetTacGravatar herbelin2000-10-03
* Ajout castedopenconstrargGravatar herbelin2000-10-03
* Ajout de globpr dans tacprGravatar herbelin2000-10-03
* MAJGravatar herbelin2000-10-03
* Ajout castedopenconstrarg; Renommage tactique Let en LetTacGravatar herbelin2000-10-03
* Reorganisation des interp_constrGravatar herbelin2000-10-03
* Rebranchement de la tactique LetGravatar herbelin2000-10-03
* L'argument de Refine est un terme ouvertGravatar herbelin2000-10-03
* mise en pageGravatar herbelin2000-10-03
* Renommage AppL en AppGravatar herbelin2000-10-01
* Renommage AppL en AppGravatar herbelin2000-10-01
* Renommage AppL en App; Suppression castGravatar herbelin2000-10-01
* whd_castapp_stack va de Term dans ReductionGravatar herbelin2000-10-01
* Suppression de ensure_applGravatar herbelin2000-10-01
* Bug message erreurGravatar herbelin2000-10-01
* MAJGravatar herbelin2000-10-01
* Code comateuxGravatar herbelin2000-10-01
* Plus de whd_castappGravatar herbelin2000-10-01
* Chasse aux de-cast inutilesGravatar herbelin2000-10-01
* renommage map_constr_with_named_bindersGravatar herbelin2000-10-01
* Plus de whd_castappGravatar herbelin2000-10-01
* Plus de whd_castapp_stackGravatar herbelin2000-10-01
* renommage map_constr_with_named_bindersGravatar herbelin2000-10-01
* Passage de la structure DOPN, DOP2, ... à une structure exprimant directemen...Gravatar herbelin2000-10-01
* Disparition du type oper mais nouveau type global_referenceGravatar herbelin2000-10-01
* Déplacement 'a reference et binder_kind de Term vers RawtermGravatar herbelin2000-10-01
* Code mortGravatar herbelin2000-10-01
* Elimination de coupures...Gravatar herbelin2000-10-01
* Retrait de whd_ise1_metasGravatar herbelin2000-09-26
* Nettoyage pretyping; ise_resolve_* devient understand_*; Ajout d'une notion d...Gravatar herbelin2000-09-26
* MAJGravatar herbelin2000-09-26
* mise a jour dependancesGravatar filliatr2000-09-18
* On laisse les LetIn dans les types des constructeurs et des éliminationsGravatar herbelin2000-09-15
* CommentairesGravatar herbelin2000-09-15
* Messages d'erreursGravatar herbelin2000-09-15
* Expression anglaiseGravatar herbelin2000-09-15
* Minor correction for Ocamlweb + doc updateGravatar coq2000-09-14
* Bugs parenthèsesGravatar herbelin2000-09-14
* MAJGravatar herbelin2000-09-14
* Suppression Redinfo Sosub AbstractionGravatar herbelin2000-09-14
* Abstraction de constrGravatar herbelin2000-09-14
* Déplacement de fonctions de Reduction vers TacredGravatar herbelin2000-09-14
* Nouvelle version de frterm; ajout des contextes dans l'enviornnement de rédu...Gravatar herbelin2000-09-14
* Intégré à TacredGravatar herbelin2000-09-14
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-08 04:41:26 +0000