wneuper [Fri, 13 Feb 2009 12:14:56 +0100] rev 3918
Compod isac-side finished; ugly calls from Session (additional to former ExampleDialog); last example in the list of test-examples doesnt call notifyObjectResult, probable reason: mutual recursive pointers between Session -- ExampleDialog -- UserLogger (see constructor of Session).
Redesign of respective Objects together with introduction DialogGuide necessary.
wneuper [Wed, 11 Feb 2009 16:19:39 +0100] rev 3917
Compod#notifyObjectResult part 1
wneuper [Tue, 18 Nov 2008 16:34:39 +0100] rev 3916
initial 2 steps for "Widerspruch 3 = 777"; needed extending Substitute for "?z"
wneuper [Tue, 28 Oct 2008 15:16:31 +0100] rev 3915
d_d x (x^2 + x + 1) now works with inform PERFECT (1st tac in script need not be some rewrite, in order to allow >NEW>)
wneuper [Mon, 22 Sep 2008 17:28:37 +0200] rev 3914
d_d x (x^2 + x + 1) now works with inform for presentation
wneuper [Fri, 12 Sep 2008 11:17:20 +0200] rev 3913
new setup of isabelle at IST
wneuper [Mon, 25 Aug 2008 14:05:21 +0200] rev 3912
adding GenHTMLsingle; works; GenHTML, too
wneuper [Sun, 24 Aug 2008 20:19:56 +0200] rev 3911
adding GenHTMLsingle; still problems with GenHTML.destination_
wneuper [Sun, 24 Aug 2008 13:03:12 +0200] rev 3910
new isabelle installation at IST
wneuper [Thu, 15 May 2008 09:20:31 +0200] rev 3909
comments on installation problems with sub-nets