Index of maven/de/unruh/scala-isabelle_2.13

Name                       Last modified      Size

../
0.1.0/->                        -    -
0.1.1-RC1/                  18-May-2024 11:23    -
0.2.0/                      29-Apr-2024 18:46    -
0.2.0-RC2/->                    -    -
0.3.0/                      18-May-2024 20:55    -
0.3.0-RC1/->                    -    -
0.4.0/->                        -    -
0.4.0-RC1/                  17-May-2024 21:17    -
0.4.1/                      17-May-2024 09:40    -
0.4.1-RC1/                  19-May-2024 11:49    -
0.4.1-RC2/                  20-Apr-2024 08:37    -
0.4.2/                      18-May-2024 14:12    -
0.4.2-RC1/                  06-May-2024 19:21    -
maven-metadata.xml->           -    -
maven-metadata.xml.md5->       -    -
maven-metadata.xml.sha1->      -    -
maven-metadata.xml.sha256->    -    -
maven-metadata.xml.sha512->    -    -