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 |