Walther Neuper <neuper@ist.tugraz.at> [Thu, 21 Nov 2013 18:12:17 +0100] rev 55279
Isabelle2013 --> 2013-1: Test_Isac perfect
RealDef.real --> Real.real: string representation of type changed
NOTE: in test/../build_thydata.sml are still WRONG identifiers ("RealDef. ...
linear --> LINEAR: became a global Isabelle constant
Walther Neuper <neuper@ist.tugraz.at> [Thu, 21 Nov 2013 17:31:20 +0100] rev 55278
Isabelle2013 --> 2013-1: left-over legacy "uses" "axiom" removed in tests
Walther Neuper <neuper@ist.tugraz.at> [Thu, 21 Nov 2013 16:56:13 +0100] rev 55277
Isabelle2013 --> 2013-1: remove error "Duplicate session"
Walther Neuper <neuper@ist.tugraz.at> [Thu, 21 Nov 2013 11:46:00 +0100] rev 55276
Isabelle2013 --> 2013-1: replace an Isabelle constant newly introduced
Walther Neuper <neuper@ist.tugraz.at> [Thu, 21 Nov 2013 11:17:42 +0100] rev 55275
Isabelle2013 --> 2013-1: remove left-over legacy "uses" "axiom"
and pushed updated hooks from Isabelle to isac
Walther Neuper <neuper@ist.tugraz.at> [Thu, 21 Nov 2013 09:18:22 +0100] rev 55274
Isabelle2013 --> 2013-1: updated isac-hooks
and repaired a mistake from merging
Walther Neuper <neuper@ist.tugraz.at> [Thu, 21 Nov 2013 08:43:38 +0100] rev 55273
Isabelle2013 --> 2013-1: merged TUG/isa into TUM/isabelle
~~$ sudo cp -r ../Isabelle2013-1/lib/ .
was necessary for
~~$ ./bin/isabelle components -I
~~$ ./bin/isabelle components -a
Walther Neuper <neuper@ist.tugraz.at> [Wed, 20 Nov 2013 16:25:07 +0100] rev 55272
merged
Walther Neuper <neuper@ist.tugraz.at> [Wed, 20 Nov 2013 16:05:33 +0100] rev 55271
Isabelle2013 --> 2013-1: generalised accessrights of hgignore
Walther Neuper <neuper@ist.tugraz.at> [Wed, 20 Nov 2013 15:45:22 +0100] rev 55270
Isabelle2013 --> 2013-1: isac's hgignore copied into new Isabelle files