Index of /dload/vcsn

	Name	Last modified	Size	Description
	Parent Directory		-
	0.2/	2013-11-25 16:51	-
	0.3/	2013-11-25 16:51	-
	0.4/	2013-11-25 16:52	-
	0.5/	2013-11-25 16:53	-
	0.6.1/	2013-11-25 16:53	-
	0.6/	2013-11-25 16:53	-
	0.7.1/	2013-11-25 16:53	-
	0.7.2/	2013-11-25 16:52	-
	0.7/	2013-11-25 16:51	-
	0.8/	2013-11-25 16:52	-
	1.0/	2013-11-25 16:53	-
	1.0a/	2013-11-25 16:52	-
	1.1.1/	2013-11-25 16:53	-
	1.1/	2013-11-25 16:52	-
	1.2.90/	2013-11-25 16:51	-
	1.2.91/	2013-11-25 16:53	-
	1.2.92/	2013-11-25 16:53	-
	1.2.93/	2013-11-25 16:52	-
	1.2.94/	2013-11-25 16:52	-
	1.2.95/	2013-11-25 16:51	-
	1.2.96/	2013-11-25 16:53	-
	1.2/	2013-11-25 16:53	-
	1.3.1/	2013-11-25 16:53	-
	1.3.2/	2013-11-25 16:52	-
	1.3.2b/	2013-11-25 16:51	-
	1.3.9/	2013-11-25 16:52	-
	1.3/	2013-11-25 16:52	-
	1.4.1/	2013-11-25 16:52	-
	1.4/	2013-11-25 16:52	-
	2.0/	2014-10-16 14:21	-
	2.1/	2015-10-12 09:28	-
	2.2/	2016-02-19 10:48	-
	2.2a/	2016-03-14 13:42	-
	2.3/	2016-07-08 17:29	-
	2.3a/	2016-10-17 11:12	-
	2.4/	2016-11-16 18:00	-
	2.5.dev/	2017-01-31 15:32	-
	2.5/	2017-04-24 07:23	-
	2.6/	2017-11-11 10:24	-
	2.7/	2018-03-25 18:20	-
	2.8/	2018-05-08 17:42	-
	doc.old/	2018-05-08 17:59	-
	doc/	2018-05-08 17:59	-
	latest/	2018-05-08 17:42	-
	snapshot-hive/	2013-11-25 16:51	-
	snapshot-next/	2013-11-25 16:51	-
	snapshot/	2013-11-25 16:52	-
	techrep/	2013-11-25 16:52	-
	thlr/	2013-11-25 16:52	-
	xsd/	2013-11-25 16:51	-
	Vagrantfile	2014-01-31 14:30	4.5K
	vcsn.box	2014-01-31 14:31	827M
	vcsn.vmdk.gz	2014-01-29 11:29	1.1G
	vcsn.vmdk.bz2	2014-01-30 12:35	1.2G