| Wed, 15 Aug 2012 11:04:56 +0200 |
blanchet |
fixed handling of "int" in the wake of its port to the quotient package
|
changeset |
files
|
| Wed, 15 Aug 2012 11:04:55 +0200 |
blanchet |
removed dead code
|
changeset |
files
|
| Wed, 15 Aug 2012 01:17:26 +0200 |
webertj |
merged
|
changeset |
files
|
| Wed, 15 Aug 2012 01:17:18 +0200 |
webertj |
Added various options, notably -c to download components listed in Admin/components. Also, curl instead of wget.
|
changeset |
files
|
| Tue, 14 Aug 2012 21:58:00 +0200 |
wenzelm |
ignore some administrative files on newer Mercurial versions as well;
|
changeset |
files
|
| Tue, 14 Aug 2012 20:50:50 +0200 |
wenzelm |
some support for persistent user preferences;
|
changeset |
files
|
| Tue, 14 Aug 2012 16:18:15 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Tue, 14 Aug 2012 15:42:58 +0200 |
wenzelm |
explicit document_output directory, without implicit purge of default in ISABELLE_BROWSER_INFO;
|
changeset |
files
|
| Tue, 14 Aug 2012 13:40:49 +0200 |
wenzelm |
more direct interpretation of document_variants for build (unchanged for usedir);
|
changeset |
files
|
| Tue, 14 Aug 2012 16:09:45 +0200 |
blanchet |
tone down "z3_tptp", now that Z3 (starting with 4.1) no longer supports TPTP TFF0
|
changeset |
files
|
| Tue, 14 Aug 2012 15:26:45 +0200 |
blanchet |
fixed then-else confusion
|
changeset |
files
|
| Tue, 14 Aug 2012 15:23:28 +0200 |
blanchet |
tweak Vampire setup in the light of new evaluation
|
changeset |
files
|
| Tue, 14 Aug 2012 15:18:11 +0200 |
blanchet |
improved set of reconstructor methods
|
changeset |
files
|
| Tue, 14 Aug 2012 14:07:53 +0200 |
blanchet |
warn users about unused "using" facts
|
changeset |
files
|
| Tue, 14 Aug 2012 13:20:59 +0200 |
blanchet |
be less aggressive at kicking out chained facts
|
changeset |
files
|
| Tue, 14 Aug 2012 12:54:26 +0200 |
blanchet |
recognize bus errors as crash
|
changeset |
files
|