Sat, 09 Jan 2021 22:14:30 +0100 proper size of buttons in Symbols dockable, e.g. \<A> 0x01d49c vs. \<B> 0x00212c;
wenzelm [Sat, 09 Jan 2021 22:14:30 +0100] rev 73118
proper size of buttons in Symbols dockable, e.g. \<A> 0x01d49c vs. \<B> 0x00212c;
Sat, 09 Jan 2021 20:17:56 +0100 clarified list of presented look-and-feels;
wenzelm [Sat, 09 Jan 2021 20:17:56 +0100] rev 73117
clarified list of presented look-and-feels; clarified signature;
Sat, 09 Jan 2021 19:49:22 +0100 clarified default L&F of Isabelle/Scala (not Isabelle/jEdit);
wenzelm [Sat, 09 Jan 2021 19:49:22 +0100] rev 73116
clarified default L&F of Isabelle/Scala (not Isabelle/jEdit);
Sat, 09 Jan 2021 18:56:53 +0100 discontinued odd absolute position (amending 85bcdd05c6d0, 1975f397eabb): it violates translation invariance of commands and may lead to redundant re-checking of PIDE document;
wenzelm [Sat, 09 Jan 2021 18:56:53 +0100] rev 73115
discontinued odd absolute position (amending 85bcdd05c6d0, 1975f397eabb): it violates translation invariance of commands and may lead to redundant re-checking of PIDE document;
Sat, 09 Jan 2021 15:56:09 +0100 Corrected lemma that was too specific in HOL-Computational_Algebra
Manuel Eberl <eberlm@in.tum.de> [Sat, 09 Jan 2021 15:56:09 +0100] rev 73114
Corrected lemma that was too specific in HOL-Computational_Algebra
Sat, 09 Jan 2021 00:53:06 +0100 tuned GUI, notably for scalable FlatLaf;
wenzelm [Sat, 09 Jan 2021 00:53:06 +0100] rev 73113
tuned GUI, notably for scalable FlatLaf;
Sat, 09 Jan 2021 00:11:52 +0100 clarified default L&F;
wenzelm [Sat, 09 Jan 2021 00:11:52 +0100] rev 73112
clarified default L&F;
Fri, 08 Jan 2021 23:59:28 +0100 support for additional look-and-feels;
wenzelm [Fri, 08 Jan 2021 23:59:28 +0100] rev 73111
support for additional look-and-feels;
Fri, 08 Jan 2021 22:30:32 +0100 avoid rescaled fonts, e.g. dockable buttons on Windows L&F after opening a new view;
wenzelm [Fri, 08 Jan 2021 22:30:32 +0100] rev 73110
avoid rescaled fonts, e.g. dockable buttons on Windows L&F after opening a new view;
Fri, 08 Jan 2021 19:52:10 +0100 some algebra material for HOL: characteristic of a ring, algebraic integers
Manuel Eberl <eberlm@in.tum.de> [Fri, 08 Jan 2021 19:52:10 +0100] rev 73109
some algebra material for HOL: characteristic of a ring, algebraic integers
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip