...
Right click on your license file and select Edit with Notepad++
Under Server Details, change the port number as required
Go to your Theorem Installation directory, right click on the ts_env.bat file and select Edit with Notepad++
On Line 6, THEOREM_LICENSE_FILE, change the port number as required.
...
Note - The port number can also be specified when installing the translator.
...
| Info |
|---|
Highlight important information in a panel like this one. To edit this panel's color or style, select one of the options in the menu. |
...