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
|