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

	Name	Last modified	Size	Description

	interface.pl	2004-12-05 18:16	854
	interface_doc.pl	2004-12-05 18:16	4.9K
	interface_tr.pl	2004-12-06 05:32	6.6K

Apache/2.4.62 (Debian) Server at ciao-lang.org Port 443