| Sun, 10 Jan 2010 20:14:21 +0100 |
wenzelm |
iterators for ranges of commands/starts -- avoid extra array per document;
|
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
|
| Sun, 03 Jan 2010 20:50:07 +0100 |
wenzelm |
more explicit treatment of command/document state;
|
file |
diff |
annotate
|
| Fri, 01 Jan 2010 21:45:26 +0100 |
wenzelm |
eliminated redundant session documents database;
|
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
| base
|