edu.tum.cs.isabelle
This object was generated by sbt-buildinfo.
The value is Some("5849b5f533e37b4ebf52cf0dce0561144c45ce11").
The value is "2.11.7".
The value is "0.1.1".
This object was generated by sbt-buildinfo.