Index of /slackware/sbo/local/15.0/academic/Isabelle/

../
Isabelle                                           09-Nov-2024 05:58                  45
Isabelle.SlackBuild                                09-Nov-2024 05:58                2538
Isabelle.info                                      09-Nov-2024 05:58                 315
README                                             09-Nov-2024 05:58                 697
slack-desc                                         09-Nov-2024 05:58                 997