/salix/sbo/15.0/academic/Isabelle/
File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
Isabelle | 45 | 2023-Jul-22 08:57 |
Isabelle.info | 315 | 2023-Jul-22 08:57 |
README | 697 | 2023-Jul-22 08:57 |
slack-desc | 997 | 2023-Jul-22 08:57 |
Isabelle.SlackBuild | 2538 | 2023-Jul-22 08:57 |