Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mon, 31 Mar 2014 20:07:59 +0200 clear active areas (notably mouse pointer) before changing context (e.g. via hyperlink);
changeset
wenzelm [Mon, 31 Mar 2014 20:07:59 +0200] rev 56340
clear active areas (notably mouse pointer) before changing context (e.g. via hyperlink);
Mon, 31 Mar 2014 18:28:35 +0200 reset mouse pointer more decisively, for the sake of Mac OS X (despite the builtin policie of jEdit);
changeset
wenzelm [Mon, 31 Mar 2014 18:28:35 +0200] rev 56339
reset mouse pointer more decisively, for the sake of Mac OS X (despite the builtin policie of jEdit);
Mon, 31 Mar 2014 17:41:45 +0200 proper structural hashCode, which is required for Command.File equals (NB: Array has physical object identity);
changeset
wenzelm [Mon, 31 Mar 2014 17:41:45 +0200] rev 56338
proper structural hashCode, which is required for Command.File equals (NB: Array has physical object identity);
Mon, 31 Mar 2014 15:34:37 +0200 tuned output;
changeset
wenzelm [Mon, 31 Mar 2014 15:34:37 +0200] rev 56337
tuned output;
Mon, 31 Mar 2014 15:28:14 +0200 tuned signature -- more static typing;
changeset
wenzelm [Mon, 31 Mar 2014 15:28:14 +0200] rev 56336
tuned signature -- more static typing;
Mon, 31 Mar 2014 15:05:24 +0200 store blob content within document node: aux. files that were once open are made persistent;
changeset
wenzelm [Mon, 31 Mar 2014 15:05:24 +0200] rev 56335
store blob content within document node: aux. files that were once open are made persistent; proper structural equality for Command.File and Symbol.Index;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 tip
isabelle