7 Commits

Author	SHA1	Message	Date
Claude Marche	e991d73789	update headers	2025-06-04 10:51:30 +02:00
Guillaume Melquiond	8a86d9ac62	Update copyright years.	2024-12-07 09:01:55 +01:00
Guillaume Melquiond	79738ae6a4	Update headers.	2023-03-07 09:58:45 +01:00
Jean-Paul Bodeveix	11e9c87dc5	Improved micro Python	2022-09-08 16:00:22 +02:00
Guillaume Melquiond	53926bbbf5	Update headers.	2022-04-26 16:33:42 +02:00
Jean-Christophe Filliatre	1c08c1987f	micro Python: added def for function/predicate and type variables	2021-09-30 14:32:03 +02:00
Guillaume Melquiond	55fc17a4ea	Change interface-only .ml files into .mli files.	2021-09-28 18:05:52 +02:00