[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Parameters parse in TLC

From: androi...@xxxxxxxxx
Date: Sat, 12 Jan 2019 13:06:26 -0800 (PST)

Is it possible to parse parameter as an input from a user in TLA+ using TLC?

Prev by Date: Re: change font size of latex pretty-printed TLA spec
Next by Date: Re: Writing and Maintaining UNCHANGED Statements
Previous by thread: [tlaplus] Re: Writing and Maintaining UNCHANGED Statements
Next by thread: GSOC 2019
Index(es):
- Date
- Thread