Workspace of parallel-build on ocaml-manycores

	fix_index.sh	Oct 19, 2019, 5:37:29 PM	1.55 KiB
	Makefile	May 7, 2025, 2:44:48 PM	525 B
	texquote2.ml	Jan 7, 2021, 7:06:08 PM	3.74 KiB
	transf.mll	May 21, 2025, 2:41:46 PM	3.05 KiB
	transfmain.ml	Jan 4, 2023, 5:34:04 PM	116 B
(all files in zip)