Index of jcenter/info/hupel/isabellectl_2.11/0.8.2

Name                                    Last modified      Size

../
isabellectl_2.11-0.8.2-javadoc.jar       02-Jul-2017 09:58  394.86 KB
isabellectl_2.11-0.8.2-javadoc.jar.asc   02-Jul-2017 09:58  215 bytes
isabellectl_2.11-0.8.2-sources.jar       02-Jul-2017 09:58  6.26 KB
isabellectl_2.11-0.8.2-sources.jar.asc   02-Jul-2017 09:58  215 bytes
isabellectl_2.11-0.8.2.jar               02-Jul-2017 09:58  177.59 KB
isabellectl_2.11-0.8.2.jar.asc           02-Jul-2017 09:58  215 bytes
isabellectl_2.11-0.8.2.pom               02-Jul-2017 09:58  3.33 KB
isabellectl_2.11-0.8.2.pom.asc           02-Jul-2017 09:58  215 bytes