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

[tlaplus] TLC: Specifying directories in which to search for modules


Is there a way to provide a list of directories to TLC in which it can search for modules encountered in EXTENDS / INSTANCE statements?

(I looked at all the options by running TLC with -h option, but it didn't seem there was a way to do this.)


You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/CA%2B13N%3DvExio231b1M1jj%2BbsSeMUVv1nLWz5SGqFAVDS0mGi74g%40mail.gmail.com.