The development Scala version, if this is not a final release. The precise contents are not guaranteed, but it aims to provide a unique repository identifier (currently the svn revision) in the fourth dotted segment if the running version was built from source.
The name of the properties file
The numeric portion of the runtime Scala version, if this is a final release. If for instance the versionString says "version 2.9.0.final", this would return Some("2.9.0").
The loaded properties
The version number of the jar this was loaded from plus "version " prefix, or "version (unknown)" if it cannot be determined.
This is the default text encoding, overridden (unreliably) with
Can the java version be determined to be at least as high as the argument? Hard to properly future proof this but at the rate 1.7 is going we can leave the issue for our cyborg grandchildren to solve.
Some derived values.
Various well-known properties.
The default end of line character.
This is the encoding to use reading in source files, overridden with -encoding Note that it uses "prop" i.e. looks in the scala jar, not the system properties.
Either the development or release version if known, otherwise the empty string.