Index of /pub/TENSOR/STENMIN

	Name	Last modified	Size	Description
	Parent Directory		-
	STENMIN	1997-04-22 11:14	220K
	STENMIN_DOC.ps	1996-04-05 18:48	772K
	sparse.ps	1998-06-03 17:05	279K
	stenmin_paper.ps	1996-07-03 20:50	105K
	stenmin_user_manual.ps	1996-07-03 20:50	661K