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
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 12 Jun 2018 10:25:27 +0200] rev 59439
bridge: complete list of commands
Note: conflict with "Problem" still to be solved
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 12 Jun 2018 08:08:16 +0200] rev 59438
bridge: comment on templates
Walther Neuper <wneuper@ist.tugraz.at> [Mon, 11 Jun 2018 16:28:21 +0200] rev 59437
bridge: hint by Makarius how to introduce templates