src/Pure/System/isabelle_process.scala
Thu, 25 Jun 2009 13:25:35 +0200 wenzelm renamed IsabelleProcess to Isabelle_Process;
Sun, 07 Jun 2009 20:15:29 +0200 wenzelm static IsabelleSystem.charset;
Sat, 28 Feb 2009 18:00:20 +0100 wenzelm moved isabelle_process.ML, isabelle_process.scala, isar.ML, session.ML to Pure/System/ (together with associated Isar commands);
less more (0) tip