[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: parsing config file in command line mode
TLC allows only a restricted class of expressions in a configuration file. See "Specifying Systems" for the exact syntax. Why aren't you running TLC from the Toolbox?