TLC's Command-Line Options

Leslie Lamport

Last modified on 10 February 2021


This page has been decomissioned.  The list of TLC's command-line options can be found in the document  Current Versions of the TLA+ Tools .