edu.tum.cs.isabelle
This object was generated by sbt-buildinfo.
The value is Some("9e879b15224c9fc563c4de6b722675e3af4b6ae2").
The value is "2.11.7".
The value is "0.1".
This object was generated by sbt-buildinfo.