| Mon, 11 Jan 2010 16:49:11 +0100 |
eliminated strange mutable var commands;
|
file | diff | annotate |
| Mon, 11 Jan 2010 13:58:51 +0100 |
updated header;
|
file | diff | annotate |
| Mon, 11 Jan 2010 12:17:47 +0100 |
do not override Command.hashCode -- which was inconsistent with eq anyway;
|
file | diff | annotate |
| Mon, 11 Jan 2010 01:40:18 +0100 |
renamed Command.content to source;
|
file | diff | annotate |
| Sun, 10 Jan 2010 20:14:21 +0100 |
iterators for ranges of commands/starts -- avoid extra array per document;
|
file | diff | annotate |
| Sun, 10 Jan 2010 16:40:21 +0100 |
misc tuning and clarification of Document/Change;
|
file | diff | annotate |
| Wed, 06 Jan 2010 23:46:00 +0100 |
more precise treatment of document/state assigment;
|
file | diff | annotate |
| Tue, 05 Jan 2010 18:23:39 +0100 |
use Text_Edit provided by Isabelle;
|
file | diff | annotate |
| Mon, 04 Jan 2010 19:08:10 +0100 |
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 |
more explicit treatment of command/document state;
|
file | diff | annotate |
| Fri, 01 Jan 2010 21:45:26 +0100 |
eliminated redundant session documents database;
|
file | diff | annotate |
| Fri, 01 Jan 2010 21:37:37 +0100 |
use isabelle.Future;
|
file | diff | annotate |
| Fri, 01 Jan 2010 17:29:35 +0100 |
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 |
renamed Proof_Document to Document;
|
file | diff | annotate | base |