| Thu, 06 Jan 2011 17:51:56 +0100 | boehmes | differentiate between local and remote SMT solvers (e.g., "z3" vs. "remote_z3"); | file | diff | annotate |
| Mon, 20 Dec 2010 15:19:15 +0100 | wenzelm | tuned/clarified some component settings; | file | diff | annotate |
| Wed, 12 May 2010 23:54:02 +0200 | boehmes | integrated SMT into the HOL image | file | diff | annotate |