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