LICENSE
MANIFEST.in
README.md
pyproject.toml
tests/test_build_tlc_module.py
tests/test_check_java.py
tests/test_cli.py
tests/test_download_tla2tools.py
tests/test_run_tlc.py
tla/__init__.py
tla/build_tlc_module.py
tla/check_java.py
tla/cli.py
tla/config.py
tla/download_tla2tools.py
tla/py.typed
tla/run_tlc.py
tla/settings.py
tla/resources/default_config.yaml
tlaplus_cli.egg-info/PKG-INFO
tlaplus_cli.egg-info/SOURCES.txt
tlaplus_cli.egg-info/dependency_links.txt
tlaplus_cli.egg-info/entry_points.txt
tlaplus_cli.egg-info/requires.txt
tlaplus_cli.egg-info/top_level.txt