wneuper [Wed, 15 Jun 2005 18:31:02 +0200] rev 3922
java: isac.util.tactics .. end renamed, formatted, inst_var_, import cleaned
wneuper [Wed, 19 Aug 2009 10:21:06 +0200] rev 3921
SML base for migration Isabelle2002 --> Isabelle2009
wneuper [Mon, 09 Mar 2009 12:14:56 +0100] rev 3920
Compod: minor improvement suggested by AB
wneuper [Fri, 06 Mar 2009 16:23:40 +0100] rev 3919
Compod isac-side finished; agreed on exp_id with AB+AN
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