[tlaplus] How to launch clean IDE

[Daniel Espinosa <danespin@xxxxxxxxx>]

Hi all

I've seen videos showing how automagically IDE starts in clear, init state, i.e., no need to specify a .tla or .cfg file as opposite running the CLI tools.

But nowhere says how to launch the IDE

I've installed everything the latest on Ubuntu, installing in default paths:

sudo ./tlaps-1.4.5-x86_64-linux-gnu-inst.bin

unzip TLAToolbox-1.7.1-linux.gtk.x86_64.zip

sudo cp cvc4-1.8-x86_64-linux-opt /usr/local/lib/tlaps/cvc4

But all my attempts to run

java -XX:+UseParallelGC -jar ./tla2tools.jar tlasany.SANY

or tlc.TLC or whatever else asks for a .tla and a .cfg

I know I need to read a chapter of Specifying Systems to learn how to create a .cfg, I have a .tla file but fails (maybe some syntax failure)

I'm not  asking about how to fix my first .tla file

I just want to know how to launch the IDE, clean state i.e., without a preexisting tla file.

Old and even newer videos like this https://www.google.com/search?channel=fs&client=ubuntu-sn&q=beginning+with+tla%2B+tools#fpstate=ive&vld=cid:48fee981,vid:U2FAnyPygrA

they show that starting IDE without preexisting file is possible, but how?

I think should be

java -XX:+UseParallelGC -jar ./tla2tools.jar  <something_here>

but exactly what, I don't know

Please help!

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/ec69088c-be1c-409e-9223-b898966e3f27n%40googlegroups.com.