wenzelm [Fri, 27 Dec 2024 19:57:55 +0100] rev 81675
merged
wenzelm [Fri, 27 Dec 2024 19:49:45 +0100] rev 81674
proper bullet symbols for GUI text -- in contrast to Isabelle \<bullet> 0x002219;
wenzelm [Fri, 27 Dec 2024 18:01:34 +0100] rev 81673
tuned: more direct GUI painting via HTML;
wenzelm [Fri, 27 Dec 2024 17:40:02 +0100] rev 81672
tuned generated output: more standard operations;
wenzelm [Fri, 27 Dec 2024 17:35:24 +0100] rev 81671
tuned GUI output: more uniform;
wenzelm [Fri, 27 Dec 2024 17:30:59 +0100] rev 81670
minor performance tuning;
wenzelm [Fri, 27 Dec 2024 17:26:51 +0100] rev 81669
tuned generated output: more standard operations;
wenzelm [Fri, 27 Dec 2024 17:26:01 +0100] rev 81668
clarified signature: more operations;
wenzelm [Fri, 27 Dec 2024 16:54:48 +0100] rev 81667
more accurate treatment of plain text (amending eede0cf38a63);
wenzelm [Fri, 27 Dec 2024 16:14:16 +0100] rev 81666
clarified signature: more operations;