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

../
Isabelle                                           27-Apr-2024 07:19                  45
Isabelle.SlackBuild                                27-Apr-2024 07:19                2538
Isabelle.info                                      27-Apr-2024 07:19                 315
README                                             27-Apr-2024 07:19                 697
slack-desc                                         27-Apr-2024 07:19                 997