| Sat, 07 Aug 2010 14:45:26 +0200 |
wenzelm |
replaced individual Document_Model history by all-inclusive one in Session;
|
file |
diff |
annotate
|
| Sat, 07 Aug 2010 13:19:48 +0200 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
| Thu, 05 Aug 2010 14:35:35 +0200 |
wenzelm |
simplified/refined document model: collection of named nodes, without proper dependencies yet;
|
file |
diff |
annotate
|
| Mon, 19 Jul 2010 22:19:18 +0200 |
wenzelm |
Session: predefined real time parameters;
|
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
|
| Thu, 27 May 2010 00:47:15 +0200 |
wenzelm |
Command.toString: include id for debugging;
|
file |
diff |
annotate
|
| Sat, 22 May 2010 20:59:55 +0200 |
wenzelm |
separate event bus and dockable for raw output (stdout);
|
file |
diff |
annotate
|
| Sat, 22 May 2010 20:37:20 +0200 |
wenzelm |
ignore system messages;
|
file |
diff |
annotate
|
| Fri, 21 May 2010 16:49:33 +0200 |
wenzelm |
bad_result: report fully explicit message;
|
file |
diff |
annotate
|
| Sat, 15 May 2010 22:05:49 +0200 |
wenzelm |
renamed Outer_Keyword to Keyword (in Scala);
|
file |
diff |
annotate
|
| Mon, 10 May 2010 15:01:25 +0200 |
wenzelm |
ignore spurious TIMEOUT messages, maybe caused by change of actor semantics in scala-2.8;
|
file |
diff |
annotate
|
| Thu, 06 May 2010 15:04:37 +0200 |
wenzelm |
extractors for document updates;
|
file |
diff |
annotate
|
| Wed, 05 May 2010 22:23:45 +0200 |
wenzelm |
some rearrangement of Scala sources;
|
file |
diff |
annotate
|
| Sat, 06 Feb 2010 20:57:07 +0100 |
wenzelm |
fixed spelling;
|
file |
diff |
annotate
|
| Mon, 11 Jan 2010 23:00:05 +0100 |
wenzelm |
incorporate "proofdocument" part into main Isabelle/Pure.jar -- except for html_panel.scala, which depends on external library (Lobo/Cobra browser);
|
file |
diff |
annotate
| base
|