Index of /~setalle/software/coprove/coprove_v10_webverifier

	Name	Last modified	Size	Description
	Parent Directory		-
	anlgform.pl	2010-12-17 13:12	7.7K
	exec.sh	2010-12-17 13:12	318
	execute.cgi	2010-12-17 13:12	2.5K
	execute_xsb_all.sh	2010-12-17 13:12	214
	execute_xsb_one.sh	2010-12-17 13:12	181
	htsearch	2010-12-17 13:12	84K
	lockfile.sh	2010-12-17 13:12	37
	nspkauth.O	2010-12-17 13:12	1.0K
	nspkauth.P	2010-12-17 13:12	454
	old/	2020-01-18 02:32	-
	part1.html	2010-12-17 13:12	3.2K
	qtest	2010-12-17 13:12	35K
	show.cgi	2010-12-17 13:12	2.2K
	sv.P	2010-12-17 13:12	8.0K
	sv_xsb.O	2010-12-17 13:12	6.0K
	sv_xsb.P	2010-12-17 13:12	5.8K
	sv_xsb.P.oo	2010-12-17 13:12	5.4K
	tmpfile	2010-12-17 13:12	788
	tmpfile.O	2010-12-17 13:12	1.6K