Sat, 20 Dec 2008 17:41:57 +0100 |
wenzelm |
setPreferredSize for floating dockables;
|
file |
diff |
annotate
|
Fri, 19 Dec 2008 23:11:08 +0100 |
wenzelm |
added some headers and comments;
|
file |
diff |
annotate
|
Thu, 18 Dec 2008 01:10:20 +0100 |
immler |
restructured: independent provers in different buffers
|
file |
diff |
annotate
|
Sun, 07 Dec 2008 15:36:24 +0100 |
immler |
handle statuses in Command
|
file |
diff |
annotate
|
Tue, 18 Nov 2008 21:45:29 +0100 |
immler |
copy-paste for XHTMLPanels
|
file |
diff |
annotate
|
Thu, 13 Nov 2008 13:08:37 +0100 |
immler |
playing with xsymbols
|
file |
diff |
annotate
|
Tue, 11 Nov 2008 15:27:48 +0100 |
immler |
copying selection to clipboard
|
file |
diff |
annotate
|
Mon, 10 Nov 2008 19:31:27 +0100 |
immler |
selecting text of state view
|
file |
diff |
annotate
|
Mon, 03 Nov 2008 16:57:32 +0100 |
immler |
UserAgent as seperate class, moved stylesheets, baseURL to UserAgent
|
file |
diff |
annotate
|
Sun, 19 Oct 2008 16:51:55 +0200 |
wenzelm |
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
|
file |
diff |
annotate
|