| Sun, 08 Aug 2010 19:36:31 +0200 |
wenzelm |
explicitly distinguish Output.status (essential feedback) vs. Output.report (useful markup);
|
file |
diff |
annotate
|
| Sat, 07 Aug 2010 22:43:57 +0200 |
wenzelm |
simplified some Markup;
|
file |
diff |
annotate
|
| Sat, 07 Aug 2010 22:09:52 +0200 |
wenzelm |
simplified type XML.Tree: embed Markup directly, avoid slightly odd triple;
|
file |
diff |
annotate
|
| Mon, 05 Jul 2010 22:26:20 +0200 |
wenzelm |
specific ML_val vs. ML_command;
|
file |
diff |
annotate
|
| Sun, 04 Jul 2010 00:05:32 +0200 |
wenzelm |
simplified Isabelle_Process.Result: use markup directly;
|
file |
diff |
annotate
|
| Thu, 27 May 2010 12:35:40 +0200 |
wenzelm |
indicate prospective properties;
|
file |
diff |
annotate
|
| Tue, 25 May 2010 23:03:13 +0200 |
wenzelm |
eliminated obsolete priority message from Isabelle_Process protocol;
|
file |
diff |
annotate
|
| Fri, 21 May 2010 20:10:45 +0200 |
wenzelm |
simplified message markup, using plain XML.Elem directly;
|
file |
diff |
annotate
|
| Fri, 21 May 2010 14:53:19 +0200 |
wenzelm |
more abstract view on prover output messages;
|
file |
diff |
annotate
|
| Fri, 07 May 2010 22:00:23 +0200 |
wenzelm |
output symbolic pretty printing markup and format in the front end;
|
file |
diff |
annotate
|
| Thu, 31 Dec 2009 00:35:54 +0100 |
wenzelm |
added is_ready;
|
file |
diff |
annotate
|
| Wed, 30 Dec 2009 22:56:46 +0100 |
wenzelm |
simplified init message -- removed redundant session property;
|
file |
diff |
annotate
|
| Wed, 30 Dec 2009 22:29:37 +0100 |
wenzelm |
removed obsolete version check -- sanity delegated to Isabelle_System;
|
file |
diff |
annotate
|
| Mon, 28 Dec 2009 22:03:14 +0100 |
wenzelm |
separate Standard_System (Cygwin/Posix compatibility) vs. Isabelle_System (settings environment etc.);
|
file |
diff |
annotate
|
| Fri, 18 Dec 2009 11:44:25 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|