edu.tum.cs.isabelle
Simple bundle of an Isabelle setup, a matching environment and a requested configuration.