Mon, 04 Oct 2021 13:39:38 +0200 |
wenzelm |
support symbol \<Parallel>, based on \bigparallel from stdmaryd (stmary10.pfb: move y=1100, scale 222%, embolden by 40 units, adjust spacing);
|
file |
diff |
annotate
|
Tue, 18 May 2021 15:17:55 +0200 |
wenzelm |
option document_logo;
|
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
|
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 20:00:44 +0100 |
wenzelm |
provide \usepackage{textcomp} (again), for the sake of Ubuntu 16.04;
|
file |
diff |
annotate
|
Tue, 09 Mar 2021 18:44:43 +0100 |
wenzelm |
removed unused latex packages;
|
file |
diff |
annotate
|
Mon, 28 Sep 2020 16:23:15 +0200 |
wenzelm |
obsolete, T1 fonts are fine in lualatex (see also cc71f01f9fde);
|
file |
diff |
annotate
|
Sun, 24 Mar 2019 13:48:46 +0100 |
wenzelm |
documentation of document markers and re-interpreted command tags;
|
file |
diff |
annotate
|
Sun, 20 Nov 2016 16:22:32 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 29 Dec 2015 20:58:18 +0100 |
wenzelm |
more arrow symbols;
|
file |
diff |
annotate
|
Mon, 12 Oct 2015 19:41:10 +0200 |
wenzelm |
obsolete;
|
file |
diff |
annotate
|
Tue, 04 Aug 2015 12:19:41 +0200 |
traytel |
more documentation of coercions
|
file |
diff |
annotate
|
Mon, 06 Jul 2015 20:13:51 +0200 |
wenzelm |
clarified sections;
|
file |
diff |
annotate
|
Mon, 06 Jul 2015 11:14:44 +0200 |
wenzelm |
removed outdated and mostly obsolete material;
|
file |
diff |
annotate
|
Mon, 15 Jun 2015 14:10:41 +0200 |
wenzelm |
moved sections;
|
file |
diff |
annotate
|
Mon, 25 May 2015 22:11:43 +0200 |
wenzelm |
merged, resolving conflicts in Admin/isatest/settings/afp-poly and src/HOL/Tools/Nitpick/nitpick_model.ML;
|
file |
diff |
annotate
|
Sun, 17 May 2015 21:44:34 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 23 May 2015 22:13:24 +0200 |
wenzelm |
prefer lmodern, which produces scalable T1 fonts even with Debian-ized TeXLive;
|
file |
diff |
annotate
|
Wed, 08 Apr 2015 21:08:26 +0200 |
wenzelm |
added symbol for \<hole> (from DejaVuSansMono and DejaVuSansMono-Bold version 2.34);
|
file |
diff |
annotate
|
Mon, 21 Jul 2014 15:16:50 +0200 |
wenzelm |
more on "Simplifier trace" (by Lars Hupel);
|
file |
diff |
annotate
|
Tue, 08 Apr 2014 12:46:38 +0200 |
haftmann |
even more standardized doc session names after #b266e7a86485
|
file |
diff |
annotate
| base
|