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

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