edu.tum.cs.isabelle.impl
This object was generated by sbt-buildinfo.
The value is Some("68b475e76ba6a4fdff65e5948f32e19d3d153aa6").
The value is "info.hupel".
The value is "2.11".
The value is "2.11.7".
The value is "0.3.1".
This object was generated by sbt-buildinfo.