isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Tue, 29 Dec 2015 14:58:15 +0100 former "xsymbols" syntax is used by default, and ASCII replacement syntax with print mode "ASCII";

changeset

wenzelm [Tue, 29 Dec 2015 14:58:15 +0100] rev 61957

former "xsymbols" syntax is used by default, and ASCII replacement syntax with print mode "ASCII"; uniform syntax for Pure.imp; removed obsolete "HTML" syntax;

Mon, 28 Dec 2015 23:13:33 +0100 more symbols;

changeset

wenzelm [Mon, 28 Dec 2015 23:13:33 +0100] rev 61956

more symbols;

Mon, 28 Dec 2015 21:47:32 +0100 former "xsymbols" syntax is used by default, and ASCII replacement syntax with print mode "ASCII";

changeset

wenzelm [Mon, 28 Dec 2015 21:47:32 +0100] rev 61955

former "xsymbols" syntax is used by default, and ASCII replacement syntax with print mode "ASCII";

Mon, 28 Dec 2015 19:23:15 +0100 more symbols;

changeset

wenzelm [Mon, 28 Dec 2015 19:23:15 +0100] rev 61954

more symbols;

Mon, 28 Dec 2015 18:03:26 +0100 use symbols by default;

changeset

wenzelm [Mon, 28 Dec 2015 18:03:26 +0100] rev 61953

use symbols by default;

Mon, 28 Dec 2015 17:43:30 +0100 prefer symbols for "Union", "Inter";

changeset

wenzelm [Mon, 28 Dec 2015 17:43:30 +0100] rev 61952

prefer symbols for "Union", "Inter";

Mon, 28 Dec 2015 16:34:26 +0100 clarified position information;

changeset

wenzelm [Mon, 28 Dec 2015 16:34:26 +0100] rev 61951

clarified position information;

Mon, 28 Dec 2015 16:30:24 +0100 suppress irrelevant position reports;

changeset

wenzelm [Mon, 28 Dec 2015 16:30:24 +0100] rev 61950

suppress irrelevant position reports;

Mon, 28 Dec 2015 16:29:39 +0100 suppress irrelevant position reports;

changeset

wenzelm [Mon, 28 Dec 2015 16:29:39 +0100] rev 61949

suppress irrelevant position reports;

Mon, 28 Dec 2015 16:13:15 +0100 tuned;

changeset

wenzelm [Mon, 28 Dec 2015 16:13:15 +0100] rev 61948

tuned;

(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip

isabelle

RSS Atom