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
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 13 Feb 2018 09:42:07 +0100] rev 5227
FINISH MAWEN: relate code and thesis
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 21 Nov 2017 14:10:53 +0100] rev 5226
merged
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 21 Nov 2017 14:10:45 +0100] rev 5225
relate code to thesis mmahringer.pdf
mmahringer <s1520454056@students.fh-hagenberg.at> [Tue, 21 Nov 2017 14:09:54 +0100] rev 5224
remove useless console prints
mmahringer <s1520454056@students.fh-hagenberg.at> [Tue, 21 Nov 2017 11:53:30 +0100] rev 5223
complete demo \label{UC:user-guide}
mmahringer <s1520454056@students.fh-hagenberg.at> [Tue, 21 Nov 2017 08:46:34 +0100] rev 5222
Rename Testcode for demo