Index of /sbo/15.0/academic/Isabelle

            _ ,,,,              _
       __    |-|-:__    ___.   |  ,  __    __  __    . ,.  ___
      (__`   |''''__)  /   `   |.(    |    |   __)    |   /___)
  |   .__)  _|_  (__|_ '.__.  _|  \_  \_/\_/  (__|_  _|_  '.__.
  |
  |__________________________________________________  | |  |_/
                                                       \_/  | \

 Name                    Last modified      Size  Description
 Parent Directory                             -    
 slack-desc              2023-07-22 09:57  1.0K   
 README                  2023-07-22 09:57  697    
 Isabelle.info           2026-10-31 01:38  314    
 Isabelle.SlackBuild     2023-07-22 09:57  2.5K   
 Isabelle                2023-07-22 09:57   45

Apache/2 Server at raw.slackware.uk Port 443