Thu, 17 Dec 2009 20:14:00 +0100 | wenzelm | fifo: raw byte stream; | file | diff | annotate |
Tue, 01 Sep 2009 21:03:04 +0200 | wenzelm | Isabelle_Process: receiver as Actor, not EventBus; | file | diff | annotate |
Sat, 29 Aug 2009 10:50:04 +0200 | wenzelm | moved Pure/Tools/isabelle_syntax.scala to Pure/System/isabelle_syntax.scala; | file | diff | annotate |
Thu, 25 Jun 2009 13:25:35 +0200 | wenzelm | renamed IsabelleProcess to Isabelle_Process; | file | diff | annotate |
Sun, 07 Jun 2009 20:15:29 +0200 | wenzelm | static IsabelleSystem.charset; | file | diff | annotate |
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); | file | diff | annotate | base |