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

	Name	Last modified	Size	Description
	Parent Directory		-
	kodkod.plugin_2.1.0.jar	2018-06-25 13:35	713K
	kiv_8.1.0.201806251333.jar	2018-06-25 13:35	20M
	kiv_8.1.0.201806131430.jar	2018-06-25 13:35	20M
	kiv_8.1.0.201804091508.jar	2018-06-13 14:33	20M
	kiv_8.1.0.201804031512.jar	2018-06-25 13:35	20M
	kiv_8.1.0.201803021608.jar	2018-06-25 13:35	20M
	kiv_8.1.0.201802051619.jar	2018-06-13 14:33	20M
	kiv_8.1.0.201802051434.jar	2018-02-05 14:50	20M
	kiv_8.1.0.201801151729.jar	2018-01-15 17:31	19M
	kiv_8.1.0.201712201133.jar	2018-01-15 17:31	19M
	kiv.lib.basic_8.1.0.201806251333.jar	2018-06-25 13:35	30M
	kiv.lib.basic_8.1.0.201806131430.jar	2018-06-13 14:33	30M
	kiv.lib.basic_8.1.0.201804091508.jar	2018-06-25 13:35	30M
	kiv.lib.basic_8.1.0.201804031512.jar	2018-06-25 13:35	30M
	kiv.lib.basic_8.1.0.201803021608.jar	2018-06-25 13:35	30M
	kiv.lib.basic_8.1.0.201802051619.jar	2018-06-25 13:35	30M
	kiv.lib.basic_8.1.0.201802051434.jar	2018-02-05 14:50	30M
	kiv.lib.basic_8.1.0.201801151729.jar	2018-01-15 17:31	30M
	kiv.lib.basic_8.1.0.201712201133.jar	2017-12-20 11:34	30M
	kiv.editor_8.1.0.201806251333.jar	2018-06-25 13:35	696K
	kiv.editor_8.1.0.201806131430.jar	2018-06-13 14:33	696K
	kiv.editor_8.1.0.201804091508.jar	2018-06-25 13:35	699K
	kiv.editor_8.1.0.201804031512.jar	2018-06-25 13:35	699K
	kiv.editor_8.1.0.201803021608.jar	2018-06-13 14:33	699K
	kiv.editor_8.1.0.201802051619.jar	2018-06-25 13:35	698K
	kiv.editor_8.1.0.201802051434.jar	2018-02-05 14:50	698K
	kiv.editor_8.1.0.201801151729.jar	2018-01-15 17:31	696K
	kiv.editor_8.1.0.201712201133.jar	2017-12-20 11:34	696K
	kiv.codegen_8.1.0.201806251333.jar	2018-06-25 13:35	195K
	kiv.codegen_8.1.0.201806131430.jar	2018-06-13 14:33	195K
	kiv.codegen_8.1.0.201804091508.jar	2018-06-25 13:35	195K
	kiv.codegen_8.1.0.201804031512.jar	2018-06-13 14:33	195K
	kiv.codegen_8.1.0.201803021608.jar	2018-06-13 14:33	195K
	kiv.codegen_8.1.0.201802051619.jar	2018-06-25 13:35	195K
	kiv.codegen_8.1.0.201802051434.jar	2018-02-05 14:50	195K
	kiv.codegen_8.1.0.201801151729.jar	2018-01-15 17:31	195K
	kiv.codegen_8.1.0.201712201133.jar	2017-12-20 11:34	195K
	jgraphx.plugin_3.7.5.jar	2018-06-13 14:33	536K