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

../
Isabelle                                           04-May-2024 15:03                  45
Isabelle.SlackBuild                                04-May-2024 15:03                2538
Isabelle.info                                      04-May-2024 15:03                 315
README                                             04-May-2024 15:03                 697
slack-desc                                         04-May-2024 15:03                 997