Index of jcenter/de/unruh/scala-isabelle_2.13/0.4.0-RC1

Name                                           Last modified      Size

../
scala-isabelle_2.13-0.4.0-RC1-javadoc.jar       17-Dec-2021 22:41  2.22 MB
scala-isabelle_2.13-0.4.0-RC1-javadoc.jar.asc   17-Dec-2021 22:41  833 bytes
scala-isabelle_2.13-0.4.0-RC1-sources.jar       17-Dec-2021 22:41  117.71 KB
scala-isabelle_2.13-0.4.0-RC1-sources.jar.asc   17-Dec-2021 22:41  833 bytes
scala-isabelle_2.13-0.4.0-RC1.jar               17-Dec-2021 22:41  579.60 KB
scala-isabelle_2.13-0.4.0-RC1.jar.asc           17-Dec-2021 22:41  833 bytes
scala-isabelle_2.13-0.4.0-RC1.pom               17-Dec-2021 22:41  4.31 KB
scala-isabelle_2.13-0.4.0-RC1.pom.asc           17-Dec-2021 22:41  833 bytes