[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
TLAPM from command line
I have a set of TLA+ modules containing several lemma and proofs. I want to write a script that launches TLAPs for all these modules instead of launching TLAPS for each TLA+ file separately.
Can I use TLAPM from command line to do this?
PS: I tried to install TLAPS source code by following instructions on the web site, but polyml is no longer available.