TY, Markus. That worked. I'll make a mental note that it won't with Java 11.
(RE Toolbox, as an aside, I stay with command-line tools as much as possible to avoid RSI issues with the mouse in GUIs, but I know I'm a corner-case)
On Thursday, March 14, 2019 at 2:11:57 PM UTC-7, Markus Alexander Kuppe wrote:
On 14.03.19 10:36, Brian Beckman wrote:
> Hello ---
>
> I'd be grateful for a little help running the command-line tools on
> Windows. I have placed them in this directory
>
> [...]
Hi Brian,
in the spec/model directory you want to run:
java -cp C:\Users\bbeckman\tla\tla tlc2.TLC wire.tla
but it will break on Java 11. Alternatively, you could just let the
Toolbox handle all of it for you.
Cheers
Markus