Index of /~stolfi/EXPORT/00-EXPORT/Notes/111/work/programs/m3/DICIO/ortho-v353-1/RES/data

	Name	Last modified	Size	Description
	Parent Directory		-
	latex.dic	1993-06-14 12:44	4.5K
	port-extra.dic	1993-04-02 08:56	1.9K
	port-stop.dic	1992-08-31 10:07	131
	port.dcp	1992-04-20 11:52	71K