Index of /home/strac/test/IDV

	Name	Last modified	Size	Description
	Parent Directory		-
	ClientHttpRequest.jar	14-Oct-2008 16:30	6.0K
	IDV.jar	19-Jan-2009 13:39	187K
	TptpParser.jar	19-Jan-2009 23:11	76K
	WindowOpened.html	19-Jan-2009 13:41	623
	WindowOpened2.html	19-Jan-2009 13:41	585
	WindowOpener.html	19-Jan-2009 13:41	444
	WindowOpener2.html	19-Jan-2009 13:41	387
	antlr-2.7.5.jar	14-Oct-2008 16:30	425K
	files/	19-Jan-2009 15:34	-
	netscape.jar	02-May-2007 10:45	42K
	testApplet4.html	19-Jan-2009 13:41	251
	testApplet31_url_public.html	19-Jan-2009 13:41	574
	testApplet31a.html	16-Jul-2007 12:24	566
	testApplet32.html	19-Jan-2009 13:41	11K
	testApplet33_url_public.html	19-Jan-2009 13:41	574
	testApplet34_url_public.html	19-Jan-2009 13:41	576
	testApplet35_url_public.html	19-Jan-2009 13:41	574
	testApplet36_url_public.html	19-Jan-2009 13:41	580
	testApplet37_url_public.html	19-Jan-2009 13:41	543
	testApplet38_url_public.html	19-Jan-2009 13:41	688
	testApplet39.url_public.html	19-Jan-2009 13:41	596
	testApplet40.url_public.html	19-Jan-2009 13:41	587
	testApplet41.html	19-Jan-2009 13:41	628
	testApplet41a.html	07-Nov-2007 16:42	594
	testApplet42.html	19-Jan-2009 13:41	633
	tptp_parser.TptpParser_expanded/	24-Jan-2008 13:52	-