src/Pure/System/isabelle_charset.scala
2011-09-07 wenzelm 2011-09-07 deactivate unfinished charset provider for now, to avoid user confusion;
2011-06-23 wenzelm 2011-06-23 basic setup for Isabelle charset;