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
wneuper [Mon, 24 Mar 2008 17:34:31 +0100] rev 3905
corrected new_c such that rew_sub goes into sub-terms with cond.rew.
wneuper [Mon, 24 Mar 2008 17:20:15 +0100] rev 3904
MMs seminar/project finished
wneuper [Mon, 24 Mar 2008 17:12:21 +0100] rev 3903
MMs sem/proj finished