Index of /releases/v8/stable/site/plugins

	Name	Last modified	Size	Description
	Parent Directory		-
	kodkod.plugin_2.1.0.jar	2017-07-17 12:22	713K
	kiv_8.0.0.201707171123.jar	2017-07-17 12:22	32M
	kiv_8.0.0.201705051104.jar	2017-05-05 11:05	32M
	kiv_8.0.0.201705051103.jar	2017-07-17 12:22	32M
	kiv_8.0.0.201705021936.jar	2017-07-17 12:22	32M
	kiv_8.0.0.201704262226.jar	2017-07-17 12:22	32M
	kiv_8.0.0.201704241704.jar	2017-07-17 12:22	32M
	kiv_8.0.0.201704101536.jar	2017-07-17 12:22	32M
	kiv.lib.basic_1.3.0.jar	2017-07-17 12:22	30M
	kiv.editor_1.3.0.201707171123.jar	2017-07-17 12:22	617K
	kiv.editor_1.3.0.201705051104.jar	2017-07-17 12:22	617K
	kiv.editor_1.3.0.201705051103.jar	2017-07-17 12:22	617K
	kiv.editor_1.3.0.201705021936.jar	2017-07-17 12:22	622K
	kiv.editor_1.3.0.201704262226.jar	2017-07-17 12:22	632K
	kiv.editor_1.3.0.201704241704.jar	2017-07-17 12:22	619K
	kiv.editor_1.3.0.201704101536.jar	2017-07-17 12:22	619K
	kiv.codegen_1.0.0.201707171123.jar	2017-07-17 12:22	194K
	kiv.codegen_1.0.0.201705051104.jar	2017-07-17 12:22	193K
	kiv.codegen_1.0.0.201705051103.jar	2017-05-05 11:05	193K
	kiv.codegen_1.0.0.201705021936.jar	2017-07-17 12:22	193K
	kiv.codegen_1.0.0.201704262226.jar	2017-07-17 12:22	193K
	kiv.codegen_1.0.0.201704241704.jar	2017-07-17 12:22	191K
	kiv.codegen_1.0.0.201704101536.jar	2017-07-17 12:22	191K
	jgraphx.plugin_3.7.0.1.jar	2017-07-17 12:22	533K