Index of /glopt/de

	Name	Last modified	Size	Description
	Parent Directory		-
	Readme	24-Jul-1996 14:54	2.1K
	devec2.m	24-Jul-1996 15:17	12K
	ofunc.m	12-Jun-1996 10:01	432
	run.m	24-Jul-1996 14:48	1.4K
	run0.m	12-Jun-1996 10:01	774
	runs.m	24-Jul-1996 17:49	1.3K