| 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 |
| Thu, 14 Aug 2014 12:13:24 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 14 Aug 2014 11:55:09 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 14 Aug 2014 11:51:17 +0200 | wenzelm | localized method definitions (see also f14c1248d064); | changeset | files |
| Thu, 14 Aug 2014 10:48:40 +0200 | wenzelm | tuned signature -- prefer self-contained user-space tool; | changeset | files |
| Thu, 14 Aug 2014 13:21:19 +0200 | desharna | document property 'rel_map' | changeset | files |