Workspace of main on ocaml-linux-64

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