info.hupel.isabelle.impl
This object was generated by sbt-buildinfo.
The value is Some("17ab4173f56c615f137cc69b6034c8fbad4d510e").
The value is "info.
The value is "info.hupel".
The value is "2.
The value is "2.10".
The value is "2.10.6".
The value is "0.
The value is "0.7.0-RC1".
This object was generated by sbt-buildinfo.