Index of /legacy/files/ciao/ciao-1.10p8-src/library/argnames

	Name	Last modified	Size	Description
	argnames.pl	2004-12-06 05:32	344
	argnames_doc.pl	2004-12-07 01:31	5.1K
	argnames_trans.pl	2004-12-07 01:31	2.6K
	examples/	2007-01-28 18:32	-