wenzelm [Tue, 10 Dec 2024 22:40:07 +0100] rev 81574
fewer theories;
wenzelm [Tue, 10 Dec 2024 21:43:04 +0100] rev 81573
fewer theories (in contrast to 05ca920cd94b);
wenzelm [Tue, 10 Dec 2024 21:06:04 +0100] rev 81572
more accurate markup for "CONST c";
wenzelm [Tue, 10 Dec 2024 19:47:47 +0100] rev 81571
tuned markup;
wenzelm [Tue, 10 Dec 2024 19:23:55 +0100] rev 81570
proper LaTeX setup (amending 41b387d47739);
wenzelm [Tue, 10 Dec 2024 16:37:09 +0100] rev 81569
more LaTeX markup for printed entities;
wenzelm [Tue, 10 Dec 2024 14:42:56 +0100] rev 81568
tuned;
wenzelm [Tue, 10 Dec 2024 10:52:46 +0100] rev 81567
tuned;
wenzelm [Sun, 08 Dec 2024 20:13:40 +0100] rev 81566
more HTML markup (without rendering);
wenzelm [Sun, 08 Dec 2024 20:09:14 +0100] rev 81565
more markup (without rendering): class, type constructor, term constant --- similar to free, bound, etc.;