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

Name                                           Last modified      Size

../
scala-isabelle_2.12-0.4.0-RC1-javadoc.jar       17-Dec-2021 22:40  2.24 MB
scala-isabelle_2.12-0.4.0-RC1-javadoc.jar.asc   17-Dec-2021 22:40  833 bytes
scala-isabelle_2.12-0.4.0-RC1-sources.jar       17-Dec-2021 22:40  117.71 KB
scala-isabelle_2.12-0.4.0-RC1-sources.jar.asc   17-Dec-2021 22:40  833 bytes
scala-isabelle_2.12-0.4.0-RC1.jar               17-Dec-2021 22:40  573.06 KB
scala-isabelle_2.12-0.4.0-RC1.jar.asc           17-Dec-2021 22:40  833 bytes
scala-isabelle_2.12-0.4.0-RC1.pom               17-Dec-2021 22:40  4.31 KB
scala-isabelle_2.12-0.4.0-RC1.pom.asc           17-Dec-2021 22:40  833 bytes