| Wed, 23 Mar 2011 15:33:17 +0100 | boehmes | Z3 non-commercial usage may explicitly be declined | changeset | files |
| Wed, 23 Mar 2011 14:29:29 +0100 | boehmes | export status function to query whether Z3 has been activated for usage within Isabelle | changeset | files |
| Wed, 23 Mar 2011 10:38:50 +0100 | blanchet | merge | changeset | files |
| Wed, 23 Mar 2011 10:18:42 +0100 | blanchet | avoid illegal variable names, which then yield "Not an identifier" errors in "rename_tac" | changeset | files |
| Wed, 23 Mar 2011 10:06:27 +0100 | blanchet | move "TPTP" wrapper and "Sledgehammer as a tactic" to "HOL/ex" | changeset | files |
| Wed, 23 Mar 2011 10:21:29 +0100 | boehmes | really be quiet | changeset | files |
| Wed, 23 Mar 2011 09:15:49 +0100 | krauss | replace hardwired MIRABELLE_OUTPUT_PATH by temporary directory derived from ISABELLE_TMP_PREFIX and $$ -- old behaviour can be achieved by manually setting MIRABELLE_OUTPUT_PATH | changeset | files |