Walther Neuper <neuper@ist.tugraz.at> [Wed, 10 Oct 2012 18:41:15 +0200] rev 48759
update Isabelle2011 --> Isabelle2012: setup ok
./build Pure worked
Admin/* removed, because a copy from repository causes auto re-build
see
http://www.ist.tugraz.at/isac/index.php/Update_Isabelle_version#Step_4:_Make_the_working_directory_run
Walther Neuper <neuper@ist.tugraz.at> [Wed, 10 Oct 2012 17:23:32 +0200] rev 48758
during Isabelle2011 --> Isabelle2012
Walther Neuper <neuper@ist.tugraz.at> [Mon, 24 Sep 2012 18:35:13 +0200] rev 48757
updated src from Isabelle2011 to Isabelle2012
components not copied from bundle, no builds, no tests.
Walther Neuper <neuper@ist.tugraz.at> [Mon, 24 Sep 2012 18:15:49 +0200] rev 48756
merged
wenzelm [Sun, 20 May 2012 11:34:33 +0200] rev 48755
try to avoid races again (cf. 8c37cb84065f and fd3a36e48b09);
wenzelm [Thu, 17 May 2012 16:04:39 +0200] rev 48754
Added tag Isabelle2012-RC3 for changeset ed5f56b8f90a
wenzelm [Thu, 17 May 2012 15:58:57 +0200] rev 48753
some message;
wenzelm [Thu, 17 May 2012 15:23:00 +0200] rev 48752
tuned error -- reduce potential for confusion in a higher-level context, e.g. partial checking of theory sub-graph;
berghofe [Fri, 11 May 2012 13:41:30 +0200] rev 48751
Fixed disambiguation of names (cf. 5759ecd5c905)
wenzelm [Thu, 10 May 2012 22:51:44 +0200] rev 48750
merged