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/
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 22 Aug 2018 14:44:15 +0200] rev 59451
\----- start update Isabelle2017 --> Isabelle2018
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 22 Aug 2018 12:47:53 +0200] rev 59450
Added tag isabisac17 for changeset 5535bdba43b6