Wed, 30 Sep 2009 23:16:15 +0200 | wenzelm | actually perform Isar_Document.init on startup; | file | diff | annotate |
Tue, 29 Sep 2009 11:49:22 +0200 | wenzelm | explicit indication of Unsynchronized.ref; | file | diff | annotate |
Thu, 25 Jun 2009 13:25:35 +0200 | wenzelm | renamed IsabelleProcess to Isabelle_Process; | file | diff | annotate |
Tue, 02 Jun 2009 23:30:45 +0200 | wenzelm | IsabelleProcess: emit status "ready" after initialization and reports; | 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 |