back
User manual
After starting, the program opens file dialog to select input TIL - Script file. Allowed are files with extensions .tils and .txt.
After selecting input file, program processes input file and creates output XML.
Program also gives output on console window, where we can see results together with information about constructions in extensional supposition,
whether they occur in dominating generic context or not.
Program includes type control of TIL - Script constructions. If there is some kind of type inconsistence, program will print a warning.
Type control is independent on context recognition, when construction fails because is badly typed, contexts are still recognized.
