jloinig [Fri, 26 Aug 2005 06:19:52 +0200] rev 2938
reimplementing tests for MiniBrowser
jloinig [Thu, 25 Aug 2005 06:54:31 +0200] rev 2937
reimplementing tests for MiniBrowser
jloinig [Wed, 24 Aug 2005 20:50:56 +0200] rev 2936
MiniBrowser added into BrowserFrame
new gui interface implemented for ProblemBrowserPanel and co.
mkoschuc [Wed, 24 Aug 2005 19:44:59 +0200] rev 2935
first draft
wneuper [Tue, 23 Aug 2005 14:52:11 +0200] rev 2934
comments added
wneuper [Tue, 23 Aug 2005 14:42:38 +0200] rev 2933
dir workreports added
mkoschuc [Tue, 23 Aug 2005 09:41:33 +0200] rev 2932
cleaned up code
mkoschuc [Tue, 23 Aug 2005 09:41:33 +0200] rev 2931
cleaned up code
mkoschuc [Tue, 23 Aug 2005 09:41:33 +0200] rev 2930
cleaned up code
mkoschuc [Tue, 23 Aug 2005 09:04:44 +0200] rev 2929
cleaned up code