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
lisp	remove default paths, add error checks when toolbox missing	2020-08-27 17:16:13 +02:00
org	handling of TLC config files	2020-08-03 05:11:09 +02:00
ChangeLog	remove default paths, add error checks when toolbox missing	2020-08-27 17:16:13 +02:00