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

Name                                    Last modified      Size

../
isabellectl_2.12-0.8.2-javadoc.jar       02-Jul-2017 10:00  680.72 KB
isabellectl_2.12-0.8.2-javadoc.jar.asc   02-Jul-2017 10:00  215 bytes
isabellectl_2.12-0.8.2-sources.jar       02-Jul-2017 10:00  6.26 KB
isabellectl_2.12-0.8.2-sources.jar.asc   02-Jul-2017 10:00  215 bytes
isabellectl_2.12-0.8.2.jar               02-Jul-2017 10:00  144.65 KB
isabellectl_2.12-0.8.2.jar.asc           02-Jul-2017 10:00  215 bytes
isabellectl_2.12-0.8.2.pom               02-Jul-2017 10:00  3.33 KB
isabellectl_2.12-0.8.2.pom.asc           02-Jul-2017 10:00  215 bytes