Thu, 31 Dec 2009 01:03:39 +0100 |
wenzelm |
improved dialog;
|
file |
diff |
annotate
|
Thu, 31 Dec 2009 00:38:15 +0100 |
wenzelm |
basic setup for synchronous / modal (!) prover startup;
|
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
|
Wed, 16 Dec 2009 21:11:04 +0100 |
wenzelm |
explicit object Session.Global_Settings;
|
file |
diff |
annotate
|
Tue, 15 Dec 2009 20:20:07 +0100 |
wenzelm |
direct apply for Document_Model and Document_View;
|
file |
diff |
annotate
|
Tue, 15 Dec 2009 20:15:54 +0100 |
wenzelm |
need to handle EditPaneUpdate.CREATED explicitly, not included in EditPaneUpdate.BUFFER_CHANGED;
|
file |
diff |
annotate
|
Tue, 15 Dec 2009 19:50:55 +0100 |
wenzelm |
split Theory_View into Document_Model (connected to Buffer) and Document_View (connected to JEditTextArea);
|
file |
diff |
annotate
|
Tue, 15 Dec 2009 00:21:21 +0100 |
wenzelm |
refined treatment of default logic concerning property and GUI;
|
file |
diff |
annotate
|
Fri, 11 Dec 2009 23:38:14 +0100 |
wenzelm |
handle "default" logic;
|
file |
diff |
annotate
|
Fri, 11 Dec 2009 23:29:18 +0100 |
wenzelm |
more serious command line handling;
|
file |
diff |
annotate
|
Fri, 11 Dec 2009 22:40:55 +0100 |
wenzelm |
proper uninstall;
|
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
|
Thu, 10 Dec 2009 13:47:50 +0100 |
wenzelm |
install_fonts;
|
file |
diff |
annotate
|
Tue, 08 Dec 2009 23:18:07 +0100 |
wenzelm |
proper actor wiring for raw process output;
|
file |
diff |
annotate
|
Tue, 08 Dec 2009 21:48:12 +0100 |
wenzelm |
added properties_changed event bus;
|
file |
diff |
annotate
|
Tue, 08 Dec 2009 20:13:07 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 08 Dec 2009 17:56:53 +0100 |
wenzelm |
simplified register_fonts;
|
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
|