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
wneuper [Wed, 14 May 2008 12:22:45 +0200] rev 3908
made link-targets within a page work (eg. #Grundlagen_1
in thy_isac_Biegelinie.html#Grundlagen_1)
wneuper [Mon, 24 Mar 2008 17:42:29 +0100] rev 3907
MMs seminar/project finished
wneuper [Mon, 24 Mar 2008 17:39:54 +0100] rev 3906
MMs seminar/project finished