lib/texinputs/isabelle.sty
Wed, 01 Jan 2025 22:06:27 +0100 wenzelm revert changeset 2f98e3c4592c: avoid conflict with low-level \<^latex> markup;
Sat, 28 Dec 2024 15:43:30 +0100 wenzelm more LaTeX markup;
Wed, 18 Dec 2024 13:49:55 +0100 wenzelm clarified LaTeX presentation: more specific keywords;
Tue, 10 Dec 2024 16:37:09 +0100 wenzelm more LaTeX markup for printed entities;
Mon, 06 Dec 2021 15:34:54 +0100 wenzelm discontinued old-style {* verbatim *} tokens;
Wed, 24 Nov 2021 21:04:39 +0100 wenzelm more explicit type Latex.Tags;
Thu, 20 May 2021 18:16:13 +0200 wenzelm support for index entries;
Tue, 23 Mar 2021 13:13:31 +0100 wenzelm discontinue fragile check in LaTeX, e.g. problems with toc entries;
Mon, 22 Mar 2021 00:07:55 +0100 wenzelm clarified package name (actually both pxfonts and txfonts exist and have this font);
Sun, 21 Mar 2021 23:03:31 +0100 wenzelm high-quality blackboard-bold fonts from "txmia" (package "txfonts");
Tue, 09 Mar 2021 21:11:05 +0100 wenzelm proper type-setting of cartouches (requires T1);
Wed, 17 Jul 2019 16:10:05 +0200 wenzelm added \<llangle>, \<rrangle>;
Sat, 13 Apr 2019 12:45:38 +0200 wenzelm obsolete;
Sat, 03 Feb 2018 20:34:26 +0100 wenzelm more uniform treatment of formal comments within document source;
Mon, 29 Jan 2018 20:37:28 +0100 wenzelm expand definitions of \DeclareOldFontCommand in traditional article.cls, e.g. KOMA-Script no longer provides these;
Sat, 13 Jan 2018 12:19:03 +0100 wenzelm clarified default;
less more (0) -100 -16 tip