[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.