Index of /pub/slackbuilds.org/15.0/academic/Isabelle

Icon  Name                                Last modified      Size  Description
[PARENTDIR] Parent Directory                                         -   
[   ] slack-desc                          2023-07-22 03:57  1.0K  
[   ] README                              2023-07-22 03:57  697   
[   ] Isabelle.info                       2023-07-22 03:57  315   
[   ] Isabelle.SlackBuild                 2023-07-22 03:57  2.5K  
[   ] Isabelle                            2023-07-22 03:57   45