| Fri, 16 Apr 2021 23:16:00 +0200 |
wenzelm |
support for conditional ML text;
|
file |
diff |
annotate
|
| Sat, 10 Apr 2021 14:56:03 +0200 |
wenzelm |
more documentation;
|
file |
diff |
annotate
|
| Tue, 23 Mar 2021 13:13:31 +0100 |
wenzelm |
discontinue fragile check in LaTeX, e.g. problems with toc entries;
|
file |
diff |
annotate
|
| Mon, 22 Mar 2021 17:24:42 +0100 |
wenzelm |
more glyphs proposed by Simon Foster: 0x002713, 0x002717, 0x002af4, 0x002afb, 0x002afd;
|
file |
diff |
annotate
|
| Sun, 21 Mar 2021 23:15:55 +0100 |
wenzelm |
clarified symbol names, notably relevant for Z_Notation;
|
file |
diff |
annotate
|
| Sun, 21 Mar 2021 23:03:31 +0100 |
wenzelm |
high-quality blackboard-bold fonts from "txmia" (package "txfonts");
|
file |
diff |
annotate
|
| Fri, 19 Mar 2021 13:44:33 +0100 |
wenzelm |
clarified \<Zcomp> (small) vs. \<Zsemi> (big);
|
file |
diff |
annotate
|
| Fri, 19 Mar 2021 12:35:55 +0100 |
wenzelm |
more Z_Notation symbols, as proposed by Simon Foster;
|
file |
diff |
annotate
|
| Thu, 18 Mar 2021 12:53:05 +0100 |
wenzelm |
more accurate spacing, according to results seen in isar-ref (Appendix B), using 12pt or 10pt;
|
file |
diff |
annotate
|
| Thu, 18 Mar 2021 12:46:25 +0100 |
wenzelm |
clarified order for presentation in isar-ref (Appendix B);
|
file |
diff |
annotate
|
| Thu, 18 Mar 2021 12:41:17 +0100 |
wenzelm |
prefer explicit \<Zproject> (with its own Unicode codepoint);
|
file |
diff |
annotate
|
| Wed, 17 Mar 2021 22:24:57 +0100 |
wenzelm |
more Isabelle symbol definitions for Z Notation, based on https://github.com/isabelle-utp/Z_Toolkit 998c9f7880d3 by Simon Foster;
|
file |
diff |
annotate
|
| Tue, 09 Mar 2021 21:11:05 +0100 |
wenzelm |
proper type-setting of cartouches (requires T1);
|
file |
diff |
annotate
|
| Mon, 08 Jun 2020 22:31:36 +0200 |
wenzelm |
proper latex macros, notably for src/HOL/Examples/Iff_Oracle.thy;
|
file |
diff |
annotate
|
| Mon, 25 May 2020 19:10:38 +0200 |
wenzelm |
antiquotations for Scala entities;
|
file |
diff |
annotate
|
| Sun, 24 May 2020 19:45:42 +0200 |
wenzelm |
proper check of registered Scala functions;
|
file |
diff |
annotate
|
| Wed, 17 Jul 2019 17:03:50 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 17 Jul 2019 16:10:05 +0200 |
wenzelm |
added \<llangle>, \<rrangle>;
|
file |
diff |
annotate
|
| Wed, 17 Jul 2019 11:18:39 +0200 |
wenzelm |
tuned doc isar-ref;
|
file |
diff |
annotate
|
| Wed, 17 Jul 2019 11:09:43 +0200 |
wenzelm |
added \<bbar>;
|
file |
diff |
annotate
|
| Wed, 17 Jul 2019 09:40:43 +0200 |
wenzelm |
added \<sqdot>;
|
file |
diff |
annotate
|
| Sat, 30 Mar 2019 20:54:47 +0100 |
wenzelm |
clarified signature: more explicit type Path.binding;
|
file |
diff |
annotate
|
| Sat, 30 Mar 2019 12:07:31 +0100 |
wenzelm |
more LaTeX symbols;
|
file |
diff |
annotate
|
| Fri, 15 Mar 2019 22:02:05 +0100 |
wenzelm |
more latex symbols;
|
file |
diff |
annotate
|
| Sat, 05 Jan 2019 17:00:43 +0100 |
wenzelm |
latex macro for \<^const>;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Mon, 29 Jan 2018 11:18:26 +0100 |
wenzelm |
proper fall-back rendering of control symbol;
|
file |
diff |
annotate
|
| Sat, 13 Jan 2018 11:22:46 +0100 |
wenzelm |
added \<^cancel> operator for unused text;
|
file |
diff |
annotate
|
| Tue, 09 Jan 2018 20:03:14 +0100 |
wenzelm |
uniform typesetting of \isamarkupcmt and \isasymcomment;
|
file |
diff |
annotate
|
| Thu, 07 Dec 2017 11:14:32 +0100 |
wenzelm |
tuned output in isar-ref manual;
|
file |
diff |
annotate
|