Workspace of tmp on ocaml-linux-64

	cmds
	html_processing
	htmlman
	library
	refman
	tutorials
	allfiles.etex	Mar 29, 2024, 3:59:21 PM	2.73 KiB
	anchored_book.hva	Mar 30, 2022, 2:53:06 PM	1.30 KiB
	biblio.etex	Mar 30, 2022, 2:53:06 PM	9.10 KiB
	foreword.etex	Mar 29, 2024, 3:59:21 PM	3.53 KiB
	index.tex	Mar 30, 2022, 2:53:06 PM	679 B
	macros.hva	Mar 30, 2022, 2:53:06 PM	8.41 KiB
	macros.tex	Apr 24, 2025, 12:51:05 PM	7.59 KiB
	Makefile	Apr 24, 2025, 12:51:05 PM	5.47 KiB
	manual.hva	Mar 30, 2022, 2:53:06 PM	93 B
	manual.inf	Mar 30, 2022, 2:53:06 PM	4.52 KiB
	manual.info.header	Mar 30, 2022, 2:53:06 PM	126 B
	manual.tex	Apr 24, 2025, 12:51:05 PM	4.98 KiB
	style.css	Mar 30, 2022, 2:53:06 PM	2.57 KiB
	version.tex.in	Mar 30, 2022, 2:53:06 PM	61 B
(all files in zip)