| Wed, 30 Dec 2009 21:57:29 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 30 Dec 2009 21:34:33 +0100 |
wenzelm |
register Proof_Document instances as session entities -- handle Markup.EDIT messages locally;
|
file |
diff |
annotate
|
| Wed, 30 Dec 2009 19:58:22 +0100 |
wenzelm |
unified Command and Command_State, eliminated separate Accumulator;
|
file |
diff |
annotate
|
| Tue, 29 Dec 2009 20:40:08 +0100 |
wenzelm |
eliminated global Session.document_0 -- did not work due to hardwired id;
|
file |
diff |
annotate
|
| Tue, 29 Dec 2009 15:33:39 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 22 Dec 2009 19:39:17 +0100 |
wenzelm |
adapted to class Outer_Syntax;
|
file |
diff |
annotate
|
| Tue, 22 Dec 2009 15:35:30 +0100 |
wenzelm |
just one variable for outer syntax keywords and completion;
|
file |
diff |
annotate
|
| Fri, 11 Dec 2009 22:25:28 +0100 |
wenzelm |
removed unused Session.prover_logic;
|
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
|