How do I add additional module search paths to TLC?

30 views

Skip to first unread message

Andrew Helwer

unread,

Feb 20, 2023, 9:58:06 AM2/20/23

to tlaplus

I think I must be missing something because I can't figure out how to do it. Preemptively filed an issue here but would be happy to hear how it's done: https://github.com/tlaplus/tlaplus/issues/795

Andrew

Reply all

Reply to author

Forward

0 new messages