Walther Neuper <walther.neuper@jku.at> [Mon, 05 Oct 2020 12:16:16 +0200] rev 60077
Isabelle2019->20: adapt to new session requirements
Walther Neuper <walther.neuper@jku.at> [Mon, 05 Oct 2020 12:05:10 +0200] rev 60076
Isabelle2019->20: strange error in Biegelinie, tackled later
Note: this error occurred by Isabelle2019->20 ONLY
Walther Neuper <walther.neuper@jku.at> [Mon, 05 Oct 2020 11:35:42 +0200] rev 60075
tests on new session requirements
Walther Neuper <walther.neuper@jku.at> [Sat, 03 Oct 2020 15:58:57 +0200] rev 60074
revise .hgignore (NOT working as expected)
note: thus take care with hg on other installations
Walther Neuper <walther.neuper@jku.at> [Fri, 25 Sep 2020 10:15:33 +0200] rev 60073
bypass checking Doc/Lucas_Interpreter
Walther Neuper <walther.neuper@jku.at> [Thu, 24 Sep 2020 15:48:52 +0200] rev 60072
adopt new field inf Thm record, finished
note: session ROOT is outcommented due to error asked to isabelle-users
Walther Neuper <walther.neuper@jku.at> [Thu, 24 Sep 2020 13:11:51 +0200] rev 60071
adopt new field inf Thm record
Walther Neuper <walther.neuper@jku.at> [Thu, 24 Sep 2020 12:58:31 +0200] rev 60070
Isabelle2019->20: Pure and HOL build with updated thm.ML
Walther Neuper <walther.neuper@jku.at> [Thu, 24 Sep 2020 12:56:19 +0200] rev 60069
Isabelle2019->20: notify Isabelle about Isac sessions
Walther Neuper <walther.neuper@jku.at> [Wed, 23 Sep 2020 16:28:56 +0200] rev 60068
Isabelle2019->20: insert Isac's hooks in ~~/src/Pure/thm.ML