| Wed, 23 Mar 2011 20:57:37 +0100 | wenzelm | isolate change of Proofterm.proofs in TPTP.thy from rest of session; | changeset | files |
| Wed, 23 Mar 2011 20:51:36 +0100 | wenzelm | list Isabelle tools via perl script, which is much faster that bash plumbing, especially on Cygwin; | changeset | files |
| Wed, 23 Mar 2011 16:42:09 +0100 | boehmes | updated contributed components | changeset | files |
| 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 |