| Thu, 06 Jan 2011 21:06:18 +0100 | ballarin | Diagnostic command to show locale dependencies. | changeset | files |
| Thu, 06 Jan 2011 21:06:17 +0100 | ballarin | Documentation for 'interpret' and 'sublocale' with mixins. | changeset | files |
| Thu, 06 Jan 2011 21:06:17 +0100 | ballarin | Abelian group facts obtained from group facts via interpretation (sublocale). | changeset | files |
| Thu, 06 Jan 2011 17:51:56 +0100 | boehmes | differentiate between local and remote SMT solvers (e.g., "z3" vs. "remote_z3"); | changeset | files |