aboutsummaryrefslogtreecommitdiffhomepage
path: root/pretyping/rawterm.ml
Commit message (Expand)AuthorAge
* uniformisation avec constr des lieurs dans rawterm/patternGravatar herbelin2001-02-14
* Retrait de EvarRef de global_reference; nettoyage autour de ast_of_refGravatar herbelin2001-02-07
* Bug localisation des Syntactif DefinitionGravatar herbelin2001-01-31
* Utilisation de global_reference dans rawconstrGravatar herbelin2000-11-20
* merge_locGravatar herbelin2000-11-08
* Déplacement 'a reference et binder_kind de Term vers RawtermGravatar herbelin2000-10-01
* Modification messages d'erreurs, possibilité de n'importe quel constr dans l...Gravatar herbelin2000-05-26
* Bug redondance entre 'RRef (RMeta _)' et 'PMeta _'Gravatar herbelin2000-05-02
* Déplacement du type reference dans TermGravatar herbelin2000-04-28
* Changement de représentation du contexte des réf dans rawconstr et patternGravatar herbelin2000-04-28
* Introduction d'un type constr_pattern pour les différents filtragesGravatar herbelin2000-04-26
* Prise en compte nouveau case_infoGravatar herbelin2000-03-21
* Quelques fonctions sur les locations des rawconstrGravatar herbelin1999-12-11
* Version initialeGravatar herbelin1999-11-24
* Type ML des termes non prétypésGravatar herbelin1999-10-24
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-19 11:28:59 +0000