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
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 22 Aug 2018 12:47:25 +0200] rev 59449
final isabisac17 on Isabelle2017
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 22 Aug 2018 10:19:32 +0200] rev 59448
isac-jEdit: withdraw inappropriate trial to learn from ML_Lex.read_source
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 22 Aug 2018 09:47:46 +0200] rev 59447
isac-jEdit: intermediately stopped
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 03 Jul 2018 12:32:24 +0200] rev 59446
isac-jEdit: prepare for parsing Isac problems
Note2:
# previous "bridge" is misleading: it stems from "server" suggested by Makarius
# the current trial is intermediate: keywords like "Specification" need a scrope,
i.e. must be "major keywords", but these cannot occur in ISAC<..>.
# we pursue the intermediate trial, until the content of ISAC<..> is checked by parsers.
# only then we'll switch to following the SPARK example