Index of /~rms/nova

	Name	Last modified	Size	Description
	Parent Directory		-
	Nova.html	2013-08-13 20:12	190
	nlibs0.jar	2013-08-13 20:30	4.1M
	jnlp/	2013-08-29 17:13	-
	nick.html	2013-11-07 15:59	778
	nick1.html	2013-11-18 09:31	554
	Nova20.jar	2013-11-18 09:39	1.4M
	Plugins0.jar	2013-11-18 09:39	113K
	new/	2014-01-15 20:04	-
	nickb.jar	2014-01-15 20:06	43K
	nick2.html	2014-01-15 23:32	294
	nick3.html	2014-01-18 23:14	423
	nick4.html	2014-01-20 15:51	544
	sky1.jpg	2014-06-02 11:46	491K
	bird1.gif	2014-06-02 11:46	2.1K
	usermanual/	2014-08-01 15:51	-
	AgentSIR.html	2014-11-21 15:09	188
	nick.jar	2015-01-20 12:53	60K
	models.jar	2015-01-20 12:53	799K
	nlibs.jar	2015-01-20 17:28	4.1M
	Nova2.jar.ok	2015-01-20 17:34	1.6M
	Plugins.jar	2015-01-20 17:34	242K
	Nova2.jar	2015-01-20 17:41	1.6M