src/Pure/System/isabelle_process.scala
2009-06-25 ago renamed IsabelleProcess to Isabelle_Process;
2009-06-07 ago static IsabelleSystem.charset;
2009-02-28 ago moved isabelle_process.ML, isabelle_process.scala, isar.ML, session.ML to Pure/System/ (together with associated Isar commands);