Workspace of main on ocaml-linux-64

	fix_index.sh	May 23, 2019, 11:08:13 AM	1.55 KiB
	Makefile	May 7, 2025, 5:36:04 PM	525 B
	texquote2.ml	Apr 6, 2020, 12:35:19 PM	3.74 KiB
	transf.mll	May 21, 2025, 7:51:21 PM	3.05 KiB
	transfmain.ml	Jan 4, 2023, 7:09:41 PM	116 B
(all files in zip)