wenzelm [Sun, 07 Jun 2009 20:15:29 +0200] rev 31498
static IsabelleSystem.charset;
static IsabelleSystem.is_cygwin -- based on system property "os.name";
smart bootstrapping of Isabelle settings environment (via implicit or explicit ISABELLE_TOOL, or isabelle.tool property, or isabelle via PATH);
source_file: removed obsolete special treatment of "ML";
misc tuning and reorganization;