Index of /releases/v8/unstable/site/plugins
Name
Last modified
Size
Description
Parent Directory
-
kiv.lib.basic_1.3.0.jar
2017-03-07 12:30
57M
kiv_8.0.0.201702151215.jar
2017-02-17 14:31
34M
kiv_8.0.0.201702171430.jar
2017-02-17 14:31
34M
kiv_8.0.0.201702171432.jar
2017-02-17 14:32
34M
kiv_8.0.0.201702171448.jar
2017-03-07 12:30
34M
kiv_8.0.0.201703031703.jar
2017-03-07 12:30
34M
kiv_8.0.0.201703071110.jar
2017-03-07 12:30
34M
kiv_8.0.0.201703071230.jar
2017-03-07 12:30
34M
kiv_8.0.0.201702281939.jar
2017-03-07 11:10
34M
kiv_8.0.0.201702281931.jar
2017-03-07 11:10
34M
kiv_8.0.0.201703011926.jar
2017-03-07 12:30
34M
kiv_8.0.0.201702281345.jar
2017-03-07 12:30
34M
kodkod.plugin_2.1.0.jar
2017-03-07 12:30
713K
kiv.editor_1.3.0.201703071230.jar
2017-03-07 12:30
619K
kiv.editor_1.3.0.201703071110.jar
2017-03-07 12:30
619K
kiv.editor_1.3.0.201703031703.jar
2017-03-07 11:10
619K
kiv.editor_1.3.0.201702171432.jar
2017-02-17 14:32
619K
kiv.editor_1.3.0.201702171430.jar
2017-02-17 14:31
619K
kiv.editor_1.3.0.201703011926.jar
2017-03-07 11:10
619K
kiv.editor_1.3.0.201702281939.jar
2017-03-07 12:30
619K
kiv.editor_1.3.0.201702281931.jar
2017-03-07 12:30
619K
kiv.editor_1.3.0.201702281345.jar
2017-03-07 12:30
619K
kiv.editor_1.3.0.201702171448.jar
2017-03-07 11:10
619K
kiv.editor_1.3.0.201702151215.jar
2017-02-17 14:32
618K
jgraphx.plugin_3.7.0.1.jar
2017-03-07 12:30
535K
kiv.codegen_1.0.0.201703071230.jar
2017-03-07 12:30
188K
kiv.codegen_1.0.0.201703071110.jar
2017-03-07 12:30
188K
kiv.codegen_1.0.0.201703031703.jar
2017-03-07 12:30
187K
kiv.codegen_1.0.0.201703011926.jar
2017-03-07 12:30
187K
kiv.codegen_1.0.0.201702281939.jar
2017-03-07 12:30
187K
Apache/2.4.58 (Ubuntu) Server at kivserver.informatik.uni-augsburg.de Port 443