Index of /Salix/sbo/15.0/academic/Isabelle

Icon  Name                                               Last modified      Size  Description
[PARENTDIR] Parent Directory                                                        -   
[   ] slack-desc                                         2023-07-22 16:57  1.0K  
[   ] README                                             2023-07-22 16:57  697   
[   ] Isabelle.info                                      2023-07-22 16:57  315   
[   ] Isabelle.SlackBuild                                2023-07-22 16:57  2.5K  
[   ] Isabelle                                           2023-07-22 16:57   45
Apache/2.4.59 (Debian) Server at mirror.freedif.org Port 443