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

../
Isabelle                                           20-Jul-2024 04:04                  45
Isabelle.SlackBuild                                20-Jul-2024 04:04                2538
Isabelle.info                                      20-Jul-2024 04:04                 315
README                                             20-Jul-2024 04:04                 697
slack-desc                                         20-Jul-2024 04:04                 997