Index of /~bibl/results/redmica

	Name	Last modified	Size	Description
	Parent Directory		-
	redmica.html	2023-04-05 11:55	14K
	redmica.gz	2022-03-12 14:10	14K
	redmica.c	2023-04-05 07:50	51K
	handwritten.tar.gz	2021-09-22 12:54	2.7M
	Supplementary.pdf	2022-07-07 11:25	2.7M