Hi,
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.
Thanks
Amira