Index of /releases/v6/stable/site/plugins
Name
Last modified
Size
Description
Parent Directory
-
kiv.editor_1.0.2.201410011827.jar
2014-10-06 14:31
400K
kiv.editor_1.0.2.201410061508.jar
2014-10-06 14:31
401K
kiv_1.0.2.201410011827.jar
2014-10-06 14:31
35M
kiv_1.0.2.201410011922.jar
2014-10-06 14:31
35M
kiv.editor_1.0.2.201410011922.jar
2014-10-06 14:31
401K
kiv_1.0.2.201410061508.jar
2014-10-06 14:31
35M
kiv.editor_1.0.2.201410141855.jar
2014-11-12 10:44
402K
kiv.editor_1.0.2.201410231335.jar
2014-11-12 10:44
405K
kiv_1.0.2.201410231335.jar
2014-11-12 10:44
35M
kiv_1.0.2.201410231327.jar
2014-11-12 10:44
35M
kiv_1.0.2.201411121241.jar
2014-11-12 10:44
35M
kiv.editor_1.0.2.201410231327.jar
2014-11-12 10:44
407K
kiv.editor_1.0.2.201411121241.jar
2014-11-12 10:44
408K
kiv_1.0.2.201410141855.jar
2014-11-12 10:44
35M
jgraphx.plugin_3.1.2.2.jar
2015-02-23 14:03
556K
kiv_1.0.2.201501231909.jar
2015-02-23 14:03
35M
kiv_1.0.2.201411191411.jar
2015-02-23 14:03
35M
kiv.editor_1.0.2.201501231909.jar
2015-03-30 11:49
409K
kiv.editor_1.0.2.201502191347.jar
2015-03-30 11:49
409K
kiv.editor_1.0.2.201503271949.jar
2015-03-30 11:49
410K
kiv_1.1.0.201503262030.jar
2015-03-30 11:49
35M
kiv.editor_1.0.2.201502231557.jar
2015-03-30 11:49
409K
kiv.lib.basic_1.1.1.jar
2015-03-30 11:49
44M
jgraphx.plugin_2.9.0.1.jar
2015-03-30 11:49
561K
kiv.editor_1.0.2.201411191411.jar
2015-03-30 11:49
409K
kiv.lib.basic_1.0.6.jar
2015-03-30 11:49
49M
kiv.lib.basic_1.1.0.jar
2015-03-30 11:49
49M
kiv_1.0.2.201412091841.jar
2015-03-30 11:49
35M
kiv_1.1.0.201502191347.jar
2015-03-30 11:49
35M
kiv.editor_1.0.2.201503262030.jar
2015-03-30 11:49
410K
kiv_1.1.0.201503271949.jar
2015-03-30 11:49
35M
kiv_1.1.0.201502231557.jar
2015-03-30 11:49
35M
kiv_1.1.0.201503262013.jar
2015-03-30 11:49
35M
kiv.editor_1.0.2.201412091841.jar
2015-03-30 11:49
409K
kiv.editor_1.0.2.201503262013.jar
2015-03-30 11:49
410K
kiv.lib.basic_1.0.5.jar
2015-03-30 11:49
49M
kiv.editor_1.0.2.201506161203.jar
2015-06-16 12:05
458K
kiv_1.1.0.201506101027.jar
2015-06-16 12:05
35M
kiv_1.1.0.201506161203.jar
2015-07-08 11:18
35M
kiv_1.1.0.201507081117.jar
2015-07-08 11:18
35M
kiv.editor_1.0.2.201506101027.jar
2015-07-08 11:18
458K
kiv.editor_1.0.2.201507081117.jar
2015-07-08 11:18
458K
kiv.editor_1.0.2.201509101607.jar
2015-09-11 11:28
583K
kiv.editor_1.0.2.201509111124.jar
2015-09-11 11:28
578K
kiv.editor_1.0.2.201509111127.jar
2015-09-11 11:28
578K
kiv_1.0.2.201409081043.jar
2015-09-11 11:28
40M
kiv.editor_1.0.2.201409081048.jar
2015-09-11 11:30
375K
kiv_1.0.2.201409031655.jar
2015-09-11 11:30
40M
kiv_1.1.0.201509111124.jar
2015-09-11 11:30
36M
kiv_1.1.0.201509101607.jar
2015-09-11 11:30
36M
kiv_1.0.2.201409081042.jar
2015-09-11 11:30
40M
kiv.editor_1.0.2.201409031520.jar
2015-09-11 11:30
364K
kiv.editor_1.0.2.201409031655.jar
2015-09-11 11:30
362K
kiv_1.1.0.201509111127.jar
2015-09-11 11:30
36M
kiv.lib.basic_1.1.2.jar
2015-09-11 11:30
50M
jgraphx.plugin_2.8.2.0.jar
2015-09-11 11:30
561K
kiv.editor_1.0.2.201409081042.jar
2015-09-11 11:30
382K
kiv.lib.basic_1.0.4.jar
2015-09-11 11:30
50M
kiv_1.1.0.201509111129.jar
2015-09-11 11:30
36M
kiv.editor_1.0.2.201409081043.jar
2015-09-11 11:30
382K
kiv.editor_1.0.2.201509111129.jar
2015-09-11 11:30
578K
kiv_1.0.2.201409081048.jar
2015-09-11 11:30
40M
kiv_1.0.2.201409031520.jar
2015-09-11 11:30
40M
kiv.editor_1.0.2.201510081634.jar
2015-10-08 16:37
594K
kiv_1.1.0.201510081634.jar
2015-10-08 16:37
34M
kiv.editor_1.0.2.201510081641.jar
2015-10-08 16:43
594K
kiv_1.1.0.201510081641.jar
2015-10-08 16:43
34M
kiv.editor_1.0.2.201510081642.jar
2015-10-08 16:44
594K
kiv_1.1.0.201510081642.jar
2015-10-08 16:44
34M
kiv_1.1.0.201510081643.jar
2015-10-08 16:46
34M
kiv.editor_1.0.2.201510081643.jar
2015-10-09 10:53
594K
kiv.editor_1.0.2.201510091051.jar
2015-10-09 10:53
596K
kiv_1.1.0.201510091051.jar
2015-10-09 10:53
34M
jgraphx.plugin_3.3.0.1.jar
2015-11-23 11:35
553K
kiv.editor_1.0.2.201511231129.jar
2015-11-23 11:35
579K
kiv_1.1.0.201511231129.jar
2015-11-23 11:35
34M
kiv.lib.basic_1.1.3.jar
2015-11-25 11:56
28M
kiv.lib.basic_1.1.4.jar
2015-11-25 11:56
39M
kiv.editor_1.3.0.201609011149.jar
2016-09-01 11:56
629K
kiv_7.0.0.201607061744.jar
2016-09-01 11:56
67M
kiv.lib.basic_1.3.2.jar
2016-09-01 11:56
52M
kiv.editor_1.3.0.201607061744.jar
2016-09-01 11:56
629K
kiv_7.0.0.201607141129.jar
2016-09-01 11:56
67M
kiv_7.0.0.201607141124.jar
2016-09-01 11:56
67M
jgraphx.plugin_3.4.1.0.jar
2016-09-01 11:56
533K
kiv_7.0.0.201607141117.jar
2016-09-01 11:56
67M
kiv_7.0.0.201607061746.jar
2016-09-01 11:56
67M
kiv.editor_1.3.0.201607141117.jar
2016-09-01 11:56
629K
kiv.editor_1.3.0.201607141124.jar
2016-09-01 11:56
629K
kiv_7.0.0.201607141127.jar
2016-09-01 11:56
67M
kodkod.plugin_2.0.0.jar
2016-09-01 11:56
924K
kiv_7.0.0.201607061237.jar
2016-09-01 11:56
67M
kiv.editor_1.3.0.201607061746.jar
2016-09-01 11:56
629K
kiv.editor_1.3.0.201607141129.jar
2016-09-01 11:56
629K
kiv.editor_1.3.0.201607061237.jar
2016-09-01 11:56
629K
kiv.editor_1.3.0.201607141127.jar
2016-09-01 11:56
629K
kiv.lib.basic_1.3.1.jar
2016-09-01 11:56
1.8K
kiv_7.0.0.201609011149.jar
2016-09-01 11:56
67M
Apache/2.4.58 (Ubuntu) Server at kivserver.informatik.uni-augsburg.de Port 443