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
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 03 Jul 2018 08:54:35 +0200] rev 59445
bridge: create "minor keywords" which can occur within scope of a "majore keyword"
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 03 Jul 2018 08:51:57 +0200] rev 59444
bridge: make example for parsing accessible
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 16 Jun 2018 07:45:52 +0200] rev 59443
bridge: start calculation (command def. without semantics)
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 16 Jun 2018 07:42:24 +0200] rev 59442
bridge: replace strings by cartouches in example
Note: remaining strings denote terms
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 13 Jun 2018 08:14:26 +0200] rev 59441
bridge: more suitable command types, probably
Note: compare Pure/Pure.thy
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 12 Jun 2018 14:53:47 +0200] rev 59440
partial_function: found examples