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
wenzelm [Sat, 09 Nov 2013 18:00:36 +0100] rev 55269
tuned;
wenzelm [Sat, 09 Nov 2013 12:47:32 +0100] rev 55268
more on completion;
wenzelm [Sat, 09 Nov 2013 11:41:32 +0100] rev 55267
adjust modules for Admin/build jars_test;
wenzelm [Sat, 09 Nov 2013 11:24:21 +0100] rev 55266
tuned whitespace;