7 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
rlacroix	6f2abc2e72	added two last functions of tools.ml	2022-11-21 16:29:52 +01:00
alejeune	e8dffff7d1	first two functions of tools.ml	2022-11-21 16:27:37 +01:00
rlacroix	14d292f3c6	added ml and mli base content	2022-11-18 15:03:41 +01:00
rlacroix	52f768a8c5	added ml and mli base files	2022-11-18 14:55:08 +01:00
rlacroix	71ce31c23f	cleanup v2	2022-11-18 14:52:49 +01:00
rlacroix	76715cf142	cleanup	2022-11-18 14:43:04 +01:00
rlacroix	9d4e63d467	First Commit	2022-11-18 14:25:41 +01:00