mkoschuc [Fri, 12 Aug 2005 09:26:28 +0200] rev 2844
added testcase for ModelPanel created from a Match and fixed corresponding Bugs
mkoschuc [Fri, 12 Aug 2005 09:04:04 +0200] rev 2843
WS now sends back CH to WSD
mkoschuc [Fri, 12 Aug 2005 08:43:05 +0200] rev 2842
close button added for correct CalcHead, tidied up WSD#notifyUseAction
wneuper [Thu, 11 Aug 2005 18:04:05 +0200] rev 2841
added IUIElement.UI_SPECIFY_SWITCH_TO_MODEL / GUARD
and respective isac.bridge.TestSpecify#testSwitchModelGuard
wneuper [Thu, 11 Aug 2005 18:04:05 +0200] rev 2840
added IUIElement.UI_SPECIFY_SWITCH_TO_MODEL / GUARD
and respective isac.bridge.TestSpecify#testSwitchModelGuard
mkoschuc [Thu, 11 Aug 2005 18:00:48 +0200] rev 2839
added possibility to initialize ModelPanel from Match
wneuper [Thu, 11 Aug 2005 15:45:42 +0200] rev 2838
added specify-methods (specifyTheory...)
for isac.bridge.TestModel + TestSpecify
wneuper [Wed, 10 Aug 2005 16:43:14 +0200] rev 2837
introduced setDescriptions, nextSpecify, etc. to java-tests
added setProblem etc. (still on the wrong place in CalcTree,
which throws CalcChanged .. UNWANTED)
mkoschuc [Wed, 10 Aug 2005 11:39:18 +0200] rev 2836
calcheadpanel now closes when calchead is complete and startsolving is pressed
mkoschuc [Wed, 10 Aug 2005 10:46:16 +0200] rev 2835
added all buttons to calcheadpanels and stub calls in WSD#notifyUserAction