aboutsummaryrefslogtreecommitdiff
path: root/pretyping/rawterm.mli
AgeCommit message (Expand)Author
2000-12-12syntaxe AST Inversion + commentaires ocamlweb autour de $filliatr
2000-11-20Utilisation de global_reference dans rawconstrherbelin
2000-11-08merge_locherbelin
2000-10-01Déplacement 'a reference et binder_kind de Term vers Rawtermherbelin
2000-05-26Modification messages d'erreurs, possibilité de n'importe quel constr dans l...herbelin
2000-05-02Bug redondance entre 'RRef (RMeta _)' et 'PMeta _'herbelin
2000-04-28Déplacement du type reference dans Termherbelin
2000-04-28Changement de représentation du contexte des réf dans rawconstr et patternherbelin
2000-04-26Introduction d'un type constr_pattern pour les différents filtragesherbelin
2000-03-21Prise en compte nouveau case_infoherbelin
1999-12-11Quelques fonctions sur les locations des rawconstrherbelin
1999-12-10Suppression Rel de rawconstr et correction de bugs d'affichageherbelin
1999-12-01Intégration du Termast et du Retyping de HH, et modifications connexesherbelin
1999-11-30inductive_key et constructor_keyherbelin
1999-11-29portage Astterm (partiellement)filliatr
1999-11-24MAJ pour fusion avec pretypingherbelin
1999-11-24Version initialeherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-21 23:48:03 +0000