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

Re: [tlaplus] Scripting the Toolbox

On 18.04.2016 18:59, Leslie Lamport wrote:
> As I believe is explained in the help pages, the .launch file contains
> complete path names of the relevant files.  So if those files are
> shared between users, you will have to make sure that the specs are
> kept in folders with the same path names, or else those files have to
> be edited after they are copied.


starting with version 1.5.1 of the Toolbox (May 2015), none of the files
should contain absolute path names anymore.