Walther Neuper <wneuper@ist.tugraz.at> [Wed, 19 Dec 2018 13:19:34 +0100] rev 5237
tuned
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 19 Dec 2018 12:51:51 +0100] rev 5236
------ connection to new math-engine on Isabelle2018: question 4 to Lars
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 18 Dec 2018 08:05:43 +0100] rev 5235
------ connection to new math-engine on Isabelle2018: question 3 to Lars
Walther Neuper <wneuper@ist.tugraz.at> [Mon, 17 Dec 2018 13:02:16 +0100] rev 5234
tuned
Walther Neuper <wneuper@ist.tugraz.at> [Mon, 17 Dec 2018 12:58:12 +0100] rev 5233
------ connection to new math-engine on Isabelle2018: question 2 to Lars
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 28 Nov 2018 08:59:29 +0100] rev 5232
update Scala 2.10 to 2.12.3
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 13 Sep 2018 11:14:30 +0200] rev 5231
------ connection to new math-engine on Isabelle2018: question to Lars
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 12 Sep 2018 17:07:47 +0200] rev 5230
------ connection to new math-engine on Isabelle2018: drop outdated test
for respective new methods see
info.hupel.isabelle.tests.HOLSpec
info.hupel.isabelle.tests.LibisabelleSpec
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 12 Sep 2018 16:24:42 +0200] rev 5229
hg commit -m "------ connection to new math-engine on Isabelle2018 partially
note: replacement for "Configuration.fromBuiltin("libisabelle_Isac");" is missing.
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 04 Apr 2018 12:08:01 +0200] rev 5228
note on demo of insertion sort