edu.tum.cs.isabelle.api
This object was generated by sbt-buildinfo.
The value is Some("d0ced504ef8deb447023742cd83bdec4eda4e2a4").
The value is "info.hupel".
The value is "2.11".
The value is "2.11.8".
The value is "0.3.4".
This object was generated by sbt-buildinfo.