Walther Neuper <wneuper@ist.tugraz.at> [Fri, 24 Aug 2018 14:23:13 +0200] rev 59461
Isabelle2017->18: for Test_Isac.thy adopt new comments
Walther Neuper <wneuper@ist.tugraz.at> [Fri, 24 Aug 2018 13:05:00 +0200] rev 59460
Isabelle2017->18: for Test_Isac.thy adapt new form of imports
Note: previously there seem to be no distinction between "session Isac" and respective thy.
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 23 Aug 2018 17:23:11 +0200] rev 59459
/----- finish update Isabelle2017 --> Isabelle2018
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 23 Aug 2018 17:20:37 +0200] rev 59458
Isabelle2017->18: bypass libisabelle (search libisabelle_DUMMY), Build_Isac.thy OK
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 23 Aug 2018 11:01:03 +0200] rev 59457
Isabelle2017->18: ProgLang, Interpret compile
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 23 Aug 2018 09:42:19 +0200] rev 59456
Isabelle2017->18: Pure and HOL build with updated thm.ML
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 23 Aug 2018 09:38:26 +0200] rev 59455
Isabelle20XX->YY: insert Isac's hooks in ~~/src/Pure/thm.ML
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 23 Aug 2018 09:28:04 +0200] rev 59454
Isabelle2017->18: separate appearance of Isac from Isabelle
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 22 Aug 2018 15:44:30 +0200] rev 59453
Isabelle20XX->YY: notify Isabelle about Isac
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 22 Aug 2018 15:42:55 +0200] rev 59452
Isabelle2017->18: specify root for ~/.isabelle/