Walther Neuper <walther.neuper@jku.at> [Wed, 14 Apr 2021 07:53:55 +0200] rev 5240
investigate ERROR can not create registry: Port already in use: 1097
note: update also isac/properties/ObjectManager.properties:
OBJECT_MANAGER_PORT=1097
which does NOT help.
Walther Neuper <walther.neuper@jku.at> [Fri, 26 Mar 2021 10:45:05 +0100] rev 5239
reset mathematics-engine to Isabelle2015
note: for this version libisabelle was available,
which connects front-end (Java) and back-end (Isabelle/ML)
Walther Neuper <walther.neuper@jku.at> [Tue, 22 Sep 2020 14:33:32 +0200] rev 5238
pdflatex on old theses
required by old "latex", might have broken little details
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