| Wed, 25 Apr 2012 22:00:33 +0200 |
blanchet |
tuning
|
changeset |
files
|
| Wed, 25 Apr 2012 22:00:33 +0200 |
blanchet |
more work on TPTP Isabelle and Sledgehammer tactics
|
changeset |
files
|
| Wed, 25 Apr 2012 22:00:33 +0200 |
blanchet |
more work on CASC setup
|
changeset |
files
|
| Wed, 25 Apr 2012 22:53:35 +0200 |
wenzelm |
more direct bash process group invocation on Cygwin, bypassing extra sh.exe and perl.exe which tend to crash;
|
changeset |
files
|
| Wed, 25 Apr 2012 20:08:33 +0200 |
wenzelm |
mingw is windows (still inactive);
|
changeset |
files
|
| Wed, 25 Apr 2012 19:26:27 +0200 |
hoelzl |
add Caratheodories theorem for semi-rings of sets
|
changeset |
files
|
| Wed, 25 Apr 2012 19:26:00 +0200 |
hoelzl |
moved lemmas to appropriate places
|
changeset |
files
|
| Wed, 25 Apr 2012 17:15:10 +0200 |
wenzelm |
register polyml executables so that Cygwin rebaseall will see them;
|
changeset |
files
|
| Wed, 25 Apr 2012 15:54:36 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Wed, 25 Apr 2012 15:44:26 +0200 |
wenzelm |
smarter PDF_VIEWER defaults, based on hints by Lars Noschinski;
|
changeset |
files
|
| Wed, 25 Apr 2012 15:09:18 +0200 |
hoelzl |
equate positive Lebesgue integral and MV-Analysis' Gauge integral
|
changeset |
files
|
| Wed, 25 Apr 2012 15:06:59 +0200 |
hoelzl |
correct lemma name
|
changeset |
files
|
| Wed, 25 Apr 2012 14:33:21 +0200 |
blanchet |
tweak TPTP Nitpick's output
|
changeset |
files
|
| Wed, 25 Apr 2012 14:33:21 +0200 |
blanchet |
remove too aggressive skolemization optimization (prevented discovery of a model in SYN994^1)
|
changeset |
files
|