Index of /lhs2tex

	Name	Last modified	Size	Description
	Parent Directory		-
	lhs2tex-1.25_0.darwi..>	2024-08-16 11:42	512K
	lhs2tex-1.25_0.darwi..>	2024-08-16 11:42	512
	lhs2tex-1.25_0.darwi..>	2024-08-16 11:45	513K
	lhs2tex-1.25_0.darwi..>	2024-08-16 11:45	512
	lhs2tex-1.25_0.darwi..>	2024-08-16 11:30	511K
	lhs2tex-1.25_0.darwi..>	2024-08-16 11:30	512
	lhs2tex-1.25_0.darwi..>	2024-08-16 11:32	510K
	lhs2tex-1.25_0.darwi..>	2024-08-16 11:32	512
	lhs2tex-1.25_0.darwi..>	2024-08-16 22:40	3.3M
	lhs2tex-1.25_0.darwi..>	2024-08-16 22:40	512
	lhs2tex-1.25_0.darwi..>	2024-08-16 11:34	511K
	lhs2tex-1.25_0.darwi..>	2024-08-16 11:34	512
	lhs2tex-1.25_0.darwi..>	2024-08-16 19:53	3.3M
	lhs2tex-1.25_0.darwi..>	2024-08-16 19:53	512
	lhs2tex-1.25_0.darwi..>	2024-08-17 04:15	510K
	lhs2tex-1.25_0.darwi..>	2024-08-17 04:15	512
	lhs2tex-1.25_0.darwi..>	2024-08-16 11:20	3.2M
	lhs2tex-1.25_0.darwi..>	2024-08-16 11:20	512
	lhs2tex-1.25_0.darwi..>	2024-08-16 12:17	510K
	lhs2tex-1.25_0.darwi..>	2024-08-16 12:17	512
	lhs2tex-1.25_0.darwi..>	2024-10-09 06:17	508K
	lhs2tex-1.25_0.darwi..>	2024-10-09 06:17	512