Login
Z3 tests
Help: tclsh
☰
Home
Timeline
Branches
Tags
Login
Command-List
The "tclsh" setting:
Name of the external TCL interpreter used for such things as running the GUI diff viewer launched by the --tk option of the various "diff" commands.