| Fri, 27 Apr 2012 20:25:55 +0200 | wenzelm | added darwin targets; | changeset | files |
| Fri, 27 Apr 2012 20:24:35 +0200 | wenzelm | chmod -x; | changeset | files |
| Fri, 27 Apr 2012 20:10:09 +0200 | wenzelm | multi-platform build script and component settings; | changeset | files |
| Fri, 27 Apr 2012 19:54:05 +0200 | wenzelm | print errors on stderr; | changeset | files |
| Fri, 27 Apr 2012 19:50:32 +0200 | wenzelm | general exec_process -- nothing specific to Cygwin; | changeset | files |
| Fri, 27 Apr 2012 19:31:03 +0200 | wenzelm | more direct exec with synchronous exit code; | changeset | files |
| Fri, 27 Apr 2012 15:59:50 +0200 | wenzelm | some updates on classic README, reduce the impression that there is much to install manually; | changeset | files |
| Fri, 27 Apr 2012 15:24:37 +0200 | blanchet | thread theory cleanly and use "smt" method rather than Sledgehammer for Z3 (because of obscure debilitating bug) | changeset | files |