aboutsummaryrefslogtreecommitdiff
path: root/pretyping/detyping.mli
AgeCommit message (Expand)Author
2000-03-21Prise en compte nouveau case_infoherbelin
2000-01-07Traduction constr->rawconstr (avant dans Termastherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 07:19:40 +0000