Welcome to ftp.nluug.nl Current directory: /os/Linux/distr/salix/sbo/15.0/academic/Isabelle/?C=M;O=A

Current bandwidth utilization 1866.53 Mbit/s

 Name                                     Last modified      Size  
 Parent Directory                                              -   
 Isabelle                                 22-Jul-2023 10:57   45   
 Isabelle.SlackBuild                      22-Jul-2023 10:57  2.5K  
 Isabelle.info                            22-Jul-2023 10:57  315   
 README                                   22-Jul-2023 10:57  697   
 slack-desc                               22-Jul-2023 10:57  1.0K  

NLUUG - Open Systems. Open Standards
Become a member and get discounts on conferences and more, see the NLUUG website!