Index of repo1/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       25-Sep-2023 18:07  64 bytes
maven-metadata.xml.sha256.md5   25-Sep-2023 18:07  32 bytes
maven-metadata.xml.sha256.sha1  25-Sep-2023 18:07  40 bytes
maven-metadata.xml.sha512->         -    -