| Sat, 23 May 2015 22:13:24 +0200 | wenzelm | prefer lmodern, which produces scalable T1 fonts even with Debian-ized TeXLive; | file | diff | annotate |
| Thu, 14 Aug 2014 12:49:49 +0200 | wenzelm | T1 font encoding with searchable underscore (requires proper cm-super fonts); | file | diff | annotate |
| Thu, 14 Aug 2014 12:46:37 +0200 | wenzelm | prefer high-level change of \isabellestyle; | file | diff | annotate |
| Wed, 06 Aug 2014 08:18:35 +0200 | nipkow | replaced misleading - by _ | file | diff | annotate |
| Tue, 28 Aug 2012 18:57:32 +0200 | wenzelm | renamed doc-src to src/Doc; | file | diff | annotate | base |