Christian Barthel 8e2341f849 remove default paths, add error checks when toolbox missing ...

* lisp/tla+-mode.el (tla+-java-path):
(tla+-dot-binary):
remove some default paths that may be not useful or
helpful for other users.
(tla+-run-sany):
(tla+-run-model):
(tla+-run-pluscal):
(tla+-run-tlatex):
(tla+-run-model): add an error check (if the
tla+-tlatools-path is not set, print an error message)
(tla+-run-dot): run dot only when the binary to dot
is given.

2020-08-27 17:16:13 +02:00

..

tla+-mode.el

remove default paths, add error checks when toolbox missing

2020-08-27 17:16:13 +02:00