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

Name                                    Last modified      Size

../
isabellectl_2.10-0.8.2-javadoc.jar       02-Jul-2017 09:56  394.63 KB
isabellectl_2.10-0.8.2-javadoc.jar.asc   02-Jul-2017 09:56  215 bytes
isabellectl_2.10-0.8.2-sources.jar       02-Jul-2017 09:56  6.26 KB
isabellectl_2.10-0.8.2-sources.jar.asc   02-Jul-2017 09:56  215 bytes
isabellectl_2.10-0.8.2.jar               02-Jul-2017 09:56  172.35 KB
isabellectl_2.10-0.8.2.jar.asc           02-Jul-2017 09:56  215 bytes
isabellectl_2.10-0.8.2.pom               02-Jul-2017 09:56  3.33 KB
isabellectl_2.10-0.8.2.pom.asc           02-Jul-2017 09:56  215 bytes