info.hupel.isabelle.api
Represents the version of an Isabelle release.
Repository snapshots are not supported.
Represents the version of an Isabelle release.
Repository snapshots are not supported.