Walther Neuper <neuper@ist.tugraz.at> [Tue, 17 Apr 2012 18:15:02 +0200] rev 4240
gdaroczy thesis review part2
Walther Neuper <neuper@ist.tugraz.at> [Tue, 17 Apr 2012 15:10:30 +0200] rev 4239
tuned xmldata/* Isabelle2002 --> 2011
Walther Neuper <neuper@ist.tugraz.at> [Tue, 17 Apr 2012 12:11:56 +0200] rev 4238
replaced xmldata/thy Isabelle2002 --> 2011
# xml-format of newly generated files is faulty, see isa/src/Tools/isac/TODO.txt#WN120417
# thus left all existing files, just copied in the new ones
Walther Neuper <neuper@ist.tugraz.at> [Tue, 17 Apr 2012 11:26:55 +0200] rev 4237
replaced xmldata/met Isabelle2002 --> 2011
# ok, because all generated automatically, 1 <html> entry added
# variable names still look odd (since Isabelle2011 doesn't like t_ underscores)
Walther Neuper <neuper@ist.tugraz.at> [Tue, 17 Apr 2012 08:24:18 +0200] rev 4236
replaced xmldata/pbl Isabelle2002 --> 2011
# ok, because all generated automatically, 1 <html> entry added
# variable names still look odd (since Isabelle2011 doesn't like t_ underscores)
Walther Neuper <neuper@ist.tugraz.at> [Tue, 17 Apr 2012 08:05:50 +0200] rev 4235
replaced xmldata/exp Isabelle2002 --> 2011
# 1st 5 examples in IsacCore > Tests are running
# type constraints for other examples not checke
# some examples are definitely broken, see isa/src/Tools/isac/TODO.txt
Walther Neuper <neuper@ist.tugraz.at> [Tue, 17 Apr 2012 07:35:00 +0200] rev 4234
gdaroczy thesis review part1
Walther Neuper <neuper@ist.tugraz.at> [Mon, 16 Apr 2012 17:48:45 +0200] rev 4233
added gdaroczy's mailed thesis
Walther Neuper <neuper@ist.tugraz.at> [Sat, 14 Apr 2012 17:04:07 +0200] rev 4232
tuned BridgeLog message
Walther Neuper <neuper@ist.tugraz.at> [Sat, 14 Apr 2012 14:02:18 +0200] rev 4231
START_ISABELLE for 2011, cp into properties/