Mon, 11 Jan 2010 18:26:38 +0100 |
wenzelm |
Outer_Lex.is_ignored;
|
file |
diff |
annotate
|
Mon, 11 Jan 2010 12:17:47 +0100 |
wenzelm |
do not override Command.hashCode -- which was inconsistent with eq anyway;
|
file |
diff |
annotate
|
Mon, 11 Jan 2010 01:40:18 +0100 |
wenzelm |
renamed Command.content to source;
|
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 20:14:21 +0100 |
wenzelm |
iterators for ranges of commands/starts -- avoid extra array per document;
|
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 14:41:25 +0100 |
wenzelm |
renamed Proof_Document to Document;
|
file |
diff |
annotate
|
Wed, 30 Dec 2009 19:58:22 +0100 |
wenzelm |
unified Command and Command_State, eliminated separate Accumulator;
|
file |
diff |
annotate
|
Wed, 30 Dec 2009 17:48:58 +0100 |
wenzelm |
more explicit modeling of Command and Command_State as Session.Entity;
|
file |
diff |
annotate
|
Fri, 11 Dec 2009 22:25:28 +0100 |
wenzelm |
removed unused Session.prover_logic;
|
file |
diff |
annotate
|
Thu, 10 Dec 2009 22:15:19 +0100 |
wenzelm |
class Session models full session, with or without prover process (cf. heaps, browser_info);
|
file |
diff |
annotate
|
Tue, 08 Dec 2009 21:54:34 +0100 |
wenzelm |
more precise messages;
|
file |
diff |
annotate
|
Tue, 08 Dec 2009 16:30:20 +0100 |
wenzelm |
misc modernization of names;
|
file |
diff |
annotate
|
Tue, 08 Dec 2009 14:49:01 +0100 |
wenzelm |
misc rearrangement of files;
|
file |
diff |
annotate
| base
|