| Tue, 29 Dec 2015 17:36:18 +0100 |
wenzelm |
support additional abbrevs;
|
changeset |
files
|
| Tue, 29 Dec 2015 16:23:34 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 29 Dec 2015 15:05:08 +0100 |
wenzelm |
isabelle console: print mode "ASCII";
|
changeset |
files
|
| Tue, 29 Dec 2015 14:58:15 +0100 |
wenzelm |
former "xsymbols" syntax is used by default, and ASCII replacement syntax with print mode "ASCII";
|
changeset |
files
|
| Mon, 28 Dec 2015 23:13:33 +0100 |
wenzelm |
more symbols;
|
changeset |
files
|
| Mon, 28 Dec 2015 21:47:32 +0100 |
wenzelm |
former "xsymbols" syntax is used by default, and ASCII replacement syntax with print mode "ASCII";
|
changeset |
files
|
| Mon, 28 Dec 2015 19:23:15 +0100 |
wenzelm |
more symbols;
|
changeset |
files
|
| Mon, 28 Dec 2015 18:03:26 +0100 |
wenzelm |
use symbols by default;
|
changeset |
files
|
| Mon, 28 Dec 2015 17:43:30 +0100 |
wenzelm |
prefer symbols for "Union", "Inter";
|
changeset |
files
|
| Mon, 28 Dec 2015 16:34:26 +0100 |
wenzelm |
clarified position information;
|
changeset |
files
|
| Mon, 28 Dec 2015 16:30:24 +0100 |
wenzelm |
suppress irrelevant position reports;
|
changeset |
files
|
| Mon, 28 Dec 2015 16:29:39 +0100 |
wenzelm |
suppress irrelevant position reports;
|
changeset |
files
|