src/Pure/System/isabelle_charset.scala
2012-11-25 ago explicit module UTF8;
2011-09-07 ago deactivate unfinished charset provider for now, to avoid user confusion;
2011-06-23 ago basic setup for Isabelle charset;