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

[ICO]NameLast modifiedSizeDescription

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

Apache/2.4.29 (Ubuntu) Server at kivserver.informatik.uni-augsburg.de Port 443