| Mon, 04 Jan 2010 19:43:59 +0100 |
wenzelm |
report keywords as singleton messages, control message kind via print mode;
|
file |
diff |
annotate
|
| Wed, 30 Dec 2009 22:56:46 +0100 |
wenzelm |
simplified init message -- removed redundant session property;
|
file |
diff |
annotate
|
| Tue, 29 Dec 2009 20:30:40 +0100 |
wenzelm |
removed slightly odd Isar_Document.init;
|
file |
diff |
annotate
|
| Thu, 17 Dec 2009 15:09:07 +0100 |
wenzelm |
simplified message format: chunks with explicit size in bytes;
|
file |
diff |
annotate
|
| Tue, 27 Oct 2009 13:34:37 +0100 |
wenzelm |
non-critical output -- ship message in one piece;
|
file |
diff |
annotate
|
| 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
|