Walther Neuper <neuper@ist.tugraz.at> [Sun, 14 Oct 2012 14:43:41 +0200] rev 48762
2011-->2012: Script
commit BEFORE solving the problem:
"Script" cannot be a theory-name and an ML constructor
at the same time in Isabelle2012.
Walther Neuper <neuper@ist.tugraz.at> [Fri, 12 Oct 2012 17:06:58 +0200] rev 48761
2011-->2012: ProofContext-->Proof_Context
once more; was reverted before
Walther Neuper <neuper@ist.tugraz.at> [Fri, 12 Oct 2012 16:03:07 +0200] rev 48760
2011-->2012:
ProofContext-->Proof_Context
HOLogic.true_const-->@{term True}
true_as_term-->@{term True}
="= false
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;