more thorough cleanup of lib/classes -- it may contain broken Pure.jar or copies of Scala libraries (in historic versions);
/* Title: Pure/System/distribution.scala
Author: Makarius
The Isabelle system distribution -- filled-in by makedist.
*/
package isabelle
object Distribution
{
val version = "unidentified repository version"
val is_identified = false
val is_official = false
}