| Mon, 23 Apr 2012 12:23:23 +0100 |
sultana |
improved handling of single-quoted names;
|
changeset |
files
|
| Mon, 23 Apr 2012 12:23:23 +0100 |
sultana |
disabled exception packaging in tptp;
|
changeset |
files
|
| Mon, 23 Apr 2012 12:23:23 +0100 |
sultana |
moved function for testing problem-name parsing;
|
changeset |
files
|
| Mon, 23 Apr 2012 12:23:23 +0100 |
sultana |
removed redundant function;
|
changeset |
files
|
| Sun, 22 Apr 2012 23:08:53 +0200 |
wenzelm |
bundle Isabelle.exe;
|
changeset |
files
|
| Sun, 22 Apr 2012 21:32:35 +0200 |
huffman |
tuned precedence order of transfer rules
|
changeset |
files
|
| Sun, 22 Apr 2012 22:02:52 +0200 |
wenzelm |
updated generated files;
|
changeset |
files
|
| Sun, 22 Apr 2012 22:01:45 +0200 |
wenzelm |
updated const "relcomp";
|
changeset |
files
|
| Sun, 22 Apr 2012 21:47:32 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Sun, 22 Apr 2012 20:16:30 +0200 |
huffman |
add transfer rule for set difference
|
changeset |
files
|
| Sun, 22 Apr 2012 21:43:57 +0200 |
wenzelm |
support Cygwin cold-start via Isabelle.exe, assuming layout of bundle;
|
changeset |
files
|
| Sun, 22 Apr 2012 19:44:40 +0200 |
wenzelm |
merged
|
changeset |
files
|