| Thu, 02 Dec 2010 10:44:33 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 11 Nov 2010 19:58:07 +0100 |
wenzelm |
more precise treatment of deleted nodes;
|
file |
diff |
annotate
|
| Thu, 11 Nov 2010 16:48:46 +0100 |
wenzelm |
replaced Document.Node_Text_Edit by Document.Text_Edit, with treatment of deleted nodes;
|
file |
diff |
annotate
|
| Wed, 10 Nov 2010 20:21:55 +0100 |
wenzelm |
added buffer_text convenience, with explicit locking;
|
file |
diff |
annotate
|
| Fri, 24 Sep 2010 14:12:33 +0200 |
wenzelm |
permissive exit;
|
file |
diff |
annotate
|
| Tue, 07 Sep 2010 23:23:19 +0200 |
wenzelm |
moved token markup tables to isabelle_markup.scala;
|
file |
diff |
annotate
|
| Tue, 07 Sep 2010 23:06:52 +0200 |
wenzelm |
concentrate Isabelle specific physical rendering markup selection in isabelle_markup.scala;
|
file |
diff |
annotate
|
| Tue, 07 Sep 2010 22:28:58 +0200 |
wenzelm |
simplified Markup_Tree.select: Stream instead of Iterator (again), explicit Option instead of default;
|
file |
diff |
annotate
|
| Tue, 31 Aug 2010 13:20:12 +0200 |
wenzelm |
simplified/clarified Document_View.text_area_extension;
|
file |
diff |
annotate
|
| Sun, 29 Aug 2010 21:02:42 +0200 |
wenzelm |
Document_Mode.Line_Context: proper semantic equality/hash code avoids memory leak due to interning in org.gjt.sp.jedit.syntax.TokenMarker;
|
file |
diff |
annotate
|
| Sun, 29 Aug 2010 15:57:18 +0200 |
wenzelm |
Document_Model.token_marker: misc tuning and simplification;
|
file |
diff |
annotate
|
| Sun, 29 Aug 2010 15:09:11 +0200 |
wenzelm |
added Document.Snapshot.select_markup, which includes command iteration, range conversion etc.;
|
file |
diff |
annotate
|
| Sat, 28 Aug 2010 20:24:41 +0200 |
wenzelm |
more careful locking of jEdit buffer;
|
file |
diff |
annotate
|
| Mon, 23 Aug 2010 17:45:06 +0200 |
wenzelm |
Document_Model.token_marker: lock jEdit buffer here, which is presumably a critical spot (the model is not necessarily accessed from the Swing thread);
|
file |
diff |
annotate
|
| Mon, 23 Aug 2010 16:13:13 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 22 Aug 2010 20:25:15 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 22 Aug 2010 18:46:16 +0200 |
wenzelm |
renamed Markup_Tree.Node to Text.Info;
|
file |
diff |
annotate
|
| Sun, 22 Aug 2010 12:54:12 +0200 |
wenzelm |
Command.State: accumulate markup reports uniformly;
|
file |
diff |
annotate
|
| Fri, 20 Aug 2010 20:11:25 +0200 |
wenzelm |
tuned signatures;
|
file |
diff |
annotate
|
| Wed, 18 Aug 2010 23:44:50 +0200 |
wenzelm |
more efficient Markup_Tree, based on branches sorted by quasi-order;
|
file |
diff |
annotate
|
| Sun, 15 Aug 2010 23:07:22 +0200 |
wenzelm |
some derived operations on Text.Range;
|
file |
diff |
annotate
|
| Sun, 15 Aug 2010 22:48:56 +0200 |
wenzelm |
specific types Text.Offset and Text.Range;
|
file |
diff |
annotate
|
| Sun, 15 Aug 2010 21:42:13 +0200 |
wenzelm |
moved Text_Edit to Text.Edit;
|
file |
diff |
annotate
|
| Sun, 15 Aug 2010 14:18:52 +0200 |
wenzelm |
renamed class Document to Document.Version etc.;
|
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 23:29:17 +0200 |
wenzelm |
consider command state as part of Snapshot, not Document;
|
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 16:49:03 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 07 Aug 2010 16:44:52 +0200 |
wenzelm |
more explicit model of pending text edits;
|
file |
diff |
annotate
|
| Sat, 07 Aug 2010 16:15:52 +0200 |
wenzelm |
more explicit treatment of Swing thread context;
|
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
|
| Thu, 05 Aug 2010 23:43:43 +0200 |
wenzelm |
Document_Model: include token marker here;
|
file |
diff |
annotate
|
| Thu, 05 Aug 2010 18:00:37 +0200 |
wenzelm |
Change.Snapshot: include from_current/to_current here, with precomputed changes;
|
file |
diff |
annotate
|
| Thu, 05 Aug 2010 16:58:18 +0200 |
wenzelm |
explicit Change.Snapshot and Document.Node;
|
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
|
| Sat, 03 Jul 2010 20:20:13 +0200 |
wenzelm |
more efficient document model/view -- avoid repeated iteration over commands from start, prefer bulk operations;
|
file |
diff |
annotate
|
| Sat, 26 Jun 2010 22:44:25 +0200 |
wenzelm |
refresh Isabelle token marker after buffer properties changed, e.g. when fold mode is switched;
|
file |
diff |
annotate
|
| Sat, 26 Jun 2010 21:26:35 +0200 |
wenzelm |
simplified text_area_painter, with more precise treatment of visible line end;
|
file |
diff |
annotate
|
| Thu, 27 May 2010 12:35:40 +0200 |
wenzelm |
indicate prospective properties;
|
file |
diff |
annotate
|
| Sat, 08 May 2010 21:08:30 +0200 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
| Tue, 30 Mar 2010 00:13:27 +0200 |
wenzelm |
adapted to Scala 2.8.0 Beta 1;
|
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
|
| Mon, 11 Jan 2010 18:26:13 +0100 |
wenzelm |
simplified Text_Edit;
|
file |
diff |
annotate
|
| Sun, 10 Jan 2010 21:14:44 +0100 |
wenzelm |
further tuning of command_start;
|
file |
diff |
annotate
|
| Sun, 10 Jan 2010 20:38:23 +0100 |
wenzelm |
eliminated Command.stop, which tends to case duplicate traversal of commands;
|
file |
diff |
annotate
|
| Sun, 10 Jan 2010 17:10:32 +0100 |
wenzelm |
tuned document changes;
|
file |
diff |
annotate
|
| Sun, 10 Jan 2010 16:40:21 +0100 |
wenzelm |
misc tuning and clarification of Document/Change;
|
file |
diff |
annotate
|
| Wed, 06 Jan 2010 23:46:00 +0100 |
wenzelm |
more precise treatment of document/state assigment;
|
file |
diff |
annotate
|
| Tue, 05 Jan 2010 18:23:39 +0100 |
wenzelm |
use Text_Edit provided by Isabelle;
|
file |
diff |
annotate
|
| Mon, 04 Jan 2010 19:08:10 +0100 |
wenzelm |
back to explicit management of documents -- not as generic Session.Entity -- to avoid ill-defined referencing of new states;
|
file |
diff |
annotate
|
| Mon, 04 Jan 2010 00:13:09 +0100 |
wenzelm |
slightly more uniform/robust handling of visible document;
|
file |
diff |
annotate
|
| Sun, 03 Jan 2010 23:03:04 +0100 |
wenzelm |
recovered explicit Changed.id (copy of future document) -- avoids premature joining of result;
|
file |
diff |
annotate
|
| Fri, 01 Jan 2010 22:29:08 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 01 Jan 2010 22:20:54 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 01 Jan 2010 22:11:32 +0100 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
| Fri, 01 Jan 2010 21:53:00 +0100 |
wenzelm |
tuned Change: eliminated redundant copy of document id;
|
file |
diff |
annotate
|
| Fri, 01 Jan 2010 21:37:37 +0100 |
wenzelm |
use isabelle.Future;
|
file |
diff |
annotate
|
| Fri, 01 Jan 2010 17:29:35 +0100 |
wenzelm |
renamed current_document to recent_document (might be a bit older than current_change);
|
file |
diff |
annotate
|
| Fri, 01 Jan 2010 14:41:25 +0100 |
wenzelm |
renamed Proof_Document to Document;
|
file |
diff |
annotate
|