Thu, 14 Aug 2014 12:49:49 +0200 | wenzelm | T1 font encoding with searchable underscore (requires proper cm-super fonts); | changeset | files |
Thu, 14 Aug 2014 12:46:37 +0200 | wenzelm | prefer high-level change of \isabellestyle; | changeset | files |
Thu, 14 Aug 2014 12:33:21 +0200 | wenzelm | tuned; | changeset | files |