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

Re: [tlaplus] Scripting the Toolbox

From: Leslie Lamport <tlapl...@xxxxxxxxx>
Date: Sat, 16 Apr 2016 17:52:25 -0700 (PDT)
References: <d512e693-babd-410b-a4df-a0008c1413a7@googlegroups.com> <80CA7E65-D2A3-49F6-A63C-F698C8FB32C9@gmail.com> <97eecf99-6743-4bc6-af47-44943485ed6b@googlegroups.com> <ba8ada3d-cdf5-4923-9c8c-f28b0b3ac69d@googlegroups.com>

A spec's root file, the .cfg file, and all imported modules other than standard modules should be in the same directory. I don't know if it's necessary, but I'd run TLC from that directory.

Leslie

Follow-Ups:
- Re: [tlaplus] Scripting the Toolbox
  - From: Simon Hudon

References:
- Scripting the Toolbox
  - From: Simon Hudon
- Re: [tlaplus] Scripting the Toolbox
  - From: Stephan Merz
- Re: [tlaplus] Scripting the Toolbox
  - From: Simon Hudon
- Re: [tlaplus] Scripting the Toolbox
  - From: Simon Hudon

Prev by Date: Re: [tlaplus] Scripting the Toolbox
Next by Date: Re: [tlaplus] Scripting the Toolbox
Previous by thread: Re: [tlaplus] Scripting the Toolbox
Next by thread: Re: [tlaplus] Scripting the Toolbox
Index(es):
- Date
- Thread