| Wed, 23 Mar 2011 21:07:05 +0100 |
wenzelm |
added editor mode line;
|
changeset |
files
|
| 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
|
| 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
|
| Tue, 22 Mar 2011 21:22:50 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Tue, 22 Mar 2011 20:06:10 +0100 |
hoelzl |
standardized headers
|
changeset |
files
|
| Tue, 22 Mar 2011 18:53:05 +0100 |
hoelzl |
generalized Caratheodory from algebra to ring_of_sets
|
changeset |
files
|