| 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 |