edu.tum.cs.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.