| Thu, 17 Apr 2014 13:21:36 +0200 | wenzelm | added protocol command "use_theories", with core functionality of batch build; | changeset | files |
| Thu, 17 Apr 2014 12:03:15 +0200 | wenzelm | tuned comments; | changeset | files |
| Thu, 17 Apr 2014 11:42:36 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 17 Apr 2014 11:31:46 +0200 | wenzelm | tuned option name; | changeset | files |
| Thu, 17 Apr 2014 11:29:15 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 17 Apr 2014 11:13:30 +0200 | wenzelm | proper tooltip_lines for multi-line text; | changeset | files |