Sat, 20 Aug 2005 21:20:16 +0200 |
wneuper |
find out why IntegrateScript doesnt work
Root_start_Take
|
changeset |
files
|
Sat, 20 Aug 2005 19:10:30 +0200 |
wneuper |
integration: compile script (Rewrite_Set_Inst seems to enforce
|
changeset |
files
|
Sat, 20 Aug 2005 18:25:14 +0200 |
wneuper |
integration by rewrite_set, still trying
|
changeset |
files
|
Sat, 20 Aug 2005 18:04:54 +0200 |
wneuper |
Scripts.rew_sub: repaired (subterms of asms were evaluated)
|
changeset |
files
|
Sat, 20 Aug 2005 18:04:54 +0200 |
wneuper |
Scripts.rew_sub: repaired (subterms of asms were evaluated)
|
changeset |
files
|
Sat, 20 Aug 2005 18:04:54 +0200 |
wneuper |
Scripts.rew_sub: repaired (subterms of asms were evaluated)
|
changeset |
files
|
Sat, 20 Aug 2005 15:15:41 +0200 |
wneuper |
add_new_c: trials with get_pair finished, search error in eval__true
|
changeset |
files
|
Sat, 20 Aug 2005 15:15:41 +0200 |
wneuper |
add_new_c: trials with get_pair finished, search error in eval__true
|
changeset |
files
|
Sat, 20 Aug 2005 15:15:41 +0200 |
wneuper |
add_new_c: trials with get_pair finished, search error in eval__true
|
changeset |
files
|
Sat, 20 Aug 2005 13:00:20 +0200 |
wneuper |
eval_* reactivated argument "Theory.operator" in Tools, Atools;
|
changeset |
files
|
Sat, 20 Aug 2005 13:00:20 +0200 |
wneuper |
eval_* reactivated argument "Theory.operator" in Tools, Atools;
|
changeset |
files
|
Sat, 20 Aug 2005 13:00:20 +0200 |
wneuper |
eval_* reactivated argument "Theory.operator" in Tools, Atools;
|
changeset |
files
|
Fri, 19 Aug 2005 19:47:09 +0200 |
wneuper |
get_pair testing t1 $ t2
|
changeset |
files
|
Fri, 19 Aug 2005 19:19:20 +0200 |
wneuper |
get_pair removed recursion into argument for unary funs
|
changeset |
files
|
Fri, 19 Aug 2005 19:09:19 +0200 |
wneuper |
add_new_c for integration, still trying
|
changeset |
files
|
Fri, 19 Aug 2005 19:09:19 +0200 |
wneuper |
add_new_c for integration, still trying
|
changeset |
files
|
Fri, 19 Aug 2005 18:29:07 +0200 |
wneuper |
add_new_c for integration, still trying
|
changeset |
files
|
Fri, 19 Aug 2005 18:27:48 +0200 |
wneuper |
add_new_c for integration, still trying
|
changeset |
files
|
Fri, 19 Aug 2005 18:27:16 +0200 |
wneuper |
add_new_c for integration, still trying
|
changeset |
files
|
Fri, 19 Aug 2005 18:27:16 +0200 |
wneuper |
add_new_c for integration, still trying
|
changeset |
files
|
Fri, 19 Aug 2005 18:27:15 +0200 |
wneuper |
add_new_c for integration, still trying
|
changeset |
files
|
Fri, 19 Aug 2005 13:44:29 +0200 |
wneuper |
getActiveWorksheet made more robust
|
changeset |
files
|
Thu, 18 Aug 2005 19:13:35 +0200 |
wneuper |
made WindowApplication#getActiveWorksheet work;
|
changeset |
files
|
Thu, 18 Aug 2005 10:20:19 +0200 |
mkoschuc |
added check for valid focus handler
|
changeset |
files
|
Thu, 18 Aug 2005 10:13:14 +0200 |
mkoschuc |
renamed IGuiToGui#notifyUIAction to NotifyUserAction, added FocusLost Listener to ModelPanel
|
changeset |
files
|
Thu, 18 Aug 2005 09:46:31 +0200 |
mkoschuc |
renamed UiToBrowserInterface
|
changeset |
files
|
Thu, 18 Aug 2005 09:24:32 +0200 |
mkoschuc |
cosmetics
|
changeset |
files
|
Thu, 18 Aug 2005 09:02:55 +0200 |
mkoschuc |
deleted unused file
|
changeset |
files
|
Thu, 18 Aug 2005 08:56:48 +0200 |
mkoschuc |
cosmetics (made CHP slightly wider)
|
changeset |
files
|
Wed, 17 Aug 2005 16:59:34 +0200 |
mkoschuc |
added RadioButtons to CHP to toggle between Pbl/Met
|
changeset |
files
|
Wed, 17 Aug 2005 16:15:31 +0200 |
mkoschuc |
cosmetics
|
changeset |
files
|
Wed, 17 Aug 2005 11:47:15 +0200 |
mkoschuc |
cosmetics
|
changeset |
files
|
Wed, 17 Aug 2005 11:39:47 +0200 |
mkoschuc |
added FocusListener to ModelPanel
|
changeset |
files
|
Wed, 17 Aug 2005 09:44:07 +0200 |
mkoschuc |
cosmetics
|
changeset |
files
|
Wed, 17 Aug 2005 09:33:38 +0200 |
mkoschuc |
*** empty log message ***
|
changeset |
files
|
Wed, 17 Aug 2005 09:32:23 +0200 |
mkoschuc |
created
|
changeset |
files
|
Wed, 17 Aug 2005 09:20:23 +0200 |
mkoschuc |
removed CH ID
|
changeset |
files
|
Wed, 17 Aug 2005 08:42:39 +0200 |
mkoschuc |
CHP opens at correct position (silghtly below Formula)
|
changeset |
files
|
Wed, 17 Aug 2005 08:37:37 +0200 |
mkoschuc |
next and auto button on CHP now working
|
changeset |
files
|
Wed, 17 Aug 2005 08:23:54 +0200 |
mkoschuc |
first line of calculation is shown, when CHP is closed by pressing startSolving
|
changeset |
files
|
Wed, 17 Aug 2005 08:20:08 +0200 |
mkoschuc |
opening of CHP through Contextmenu working now
|
changeset |
files
|
Tue, 16 Aug 2005 19:58:25 +0200 |
jloinig |
cosmetics
|
changeset |
files
|
Tue, 16 Aug 2005 19:36:24 +0200 |
jloinig |
implementation at changed selectin in problem browser altered
|
changeset |
files
|
Tue, 16 Aug 2005 18:40:22 +0200 |
mkoschuc |
removed border around HeadLine
|
changeset |
files
|
Tue, 16 Aug 2005 18:26:52 +0200 |
mkoschuc |
WS-Frame now has close Button, internalFrame has no Titlebar, WS-Frame now same height as WA
|
changeset |
files
|
Tue, 16 Aug 2005 18:11:09 +0200 |
mkoschuc |
added functionality to CHP buttons
|
changeset |
files
|
Tue, 16 Aug 2005 17:41:06 +0200 |
wneuper |
work on integration methods
|
changeset |
files
|
Tue, 16 Aug 2005 17:40:41 +0200 |
wneuper |
work on integration methods
|
changeset |
files
|
Tue, 16 Aug 2005 17:40:41 +0200 |
wneuper |
work on integration methods
|
changeset |
files
|
Tue, 16 Aug 2005 16:21:30 +0200 |
wneuper |
work MK+WN Worksheet <--> WorksheetDialog
|
changeset |
files
|
Tue, 16 Aug 2005 16:05:17 +0200 |
mkoschuc |
complete button in CHP works
|
changeset |
files
|
Tue, 16 Aug 2005 15:58:40 +0200 |
wneuper |
work MK+WN Worksheet <--> WorksheetDialog
|
changeset |
files
|
Tue, 16 Aug 2005 15:33:18 +0200 |
mkoschuc |
CH now passed to CHP when opening
|
changeset |
files
|
Tue, 16 Aug 2005 15:26:39 +0200 |
wneuper |
work MK+WN Worksheet <--> WorksheetDialog
|
changeset |
files
|
Tue, 16 Aug 2005 14:01:49 +0200 |
wneuper |
prepare meeting WN with MK
|
changeset |
files
|
Tue, 16 Aug 2005 13:28:32 +0200 |
wneuper |
work on integration pbl, met
|
changeset |
files
|
Tue, 16 Aug 2005 13:28:32 +0200 |
wneuper |
work on integration pbl, met
|
changeset |
files
|
Tue, 16 Aug 2005 13:28:32 +0200 |
wneuper |
work on integration pbl, met
|
changeset |
files
|
Tue, 16 Aug 2005 10:16:30 +0200 |
mkoschuc |
added constructor to build a ModelPanel from a Match
|
changeset |
files
|
Sun, 14 Aug 2005 13:52:53 +0200 |
wneuper |
added integration
|
changeset |
files
|