Sat, 14 Aug 2010 22:45:23 +0200 |
wenzelm |
more basic Markup.parse_int/print_int (using signed_string_of_int) (ML);
|
file |
diff |
annotate
|
Sat, 14 Aug 2010 21:25:20 +0200 |
wenzelm |
Keyword.status: always suppress position;
|
file |
diff |
annotate
|
Sat, 14 Aug 2010 12:01:50 +0200 |
wenzelm |
moved Document.text_edits to Thy_Syntax;
|
file |
diff |
annotate
|
Sat, 14 Aug 2010 11:52:24 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 13 Aug 2010 18:21:19 +0200 |
wenzelm |
explicit Document.State value, instead of individual state variables in Session, Command, Document;
|
file |
diff |
annotate
|
Thu, 12 Aug 2010 17:37:58 +0200 |
wenzelm |
simplified/clarified Change: transition prev --edits--> result, based on futures;
|
file |
diff |
annotate
|
Thu, 12 Aug 2010 16:23:04 +0200 |
wenzelm |
moved snapshot to Session (cf. 96b22dfeb56a);
|
file |
diff |
annotate
|
Thu, 12 Aug 2010 16:01:44 +0200 |
wenzelm |
Change: eliminated id, which is merely the resulting document id and is only required in joined state anyway;
|
file |
diff |
annotate
|
Thu, 12 Aug 2010 15:19:11 +0200 |
wenzelm |
clarified "state" (accumulated data) vs. "exec" (execution that produces data);
|
file |
diff |
annotate
|
Thu, 12 Aug 2010 13:49:08 +0200 |
wenzelm |
specific Session.Commands_Changed;
|
file |
diff |
annotate
|
Thu, 12 Aug 2010 13:43:55 +0200 |
wenzelm |
consider snapshot as service of Session, not Document.Change;
|
file |
diff |
annotate
|
Wed, 11 Aug 2010 22:41:26 +0200 |
wenzelm |
represent document ids by (long) int, to benefit from the somewhat faster Inttab in ML (LinearSet in Scala is invariably indexed by native object ids);
|
file |
diff |
annotate
|
Tue, 10 Aug 2010 14:15:50 +0200 |
wenzelm |
edit_document: synchronous reply to ensure consistent state wrt. calling (AWT) thread;
|
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
|
Sat, 07 Aug 2010 19:52:14 +0200 |
wenzelm |
concentrate structural document notions in document.scala;
|
file |
diff |
annotate
|
Sat, 07 Aug 2010 17:24:46 +0200 |
wenzelm |
maintain editor history independently of Swing thread, which is potentially a bottle-neck or might be unavailable (e.g. in batch mode);
|
file |
diff |
annotate
|
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
|