/academic/Isabelle/

• ../
• Isabelle
• Isabelle.SlackBuild
• Isabelle.info
• README
• slack-desc