Workspace of parallel-build on ocaml-manycores

	fix_index.sh	Oct 19, 2019, 5:37:29 PM	1.55 KiB
	Makefile	Jun 27, 2025, 1:57:54 PM	525 B
	texquote2.ml	Jan 7, 2021, 7:06:08 PM	3.74 KiB
	transf.mll	Jun 27, 2025, 1:57:54 PM	3.05 KiB
	transfmain.ml	Jan 4, 2023, 5:34:04 PM	116 B
(all files in zip)