| Tue, 08 Dec 2009 17:56:53 +0100 | wenzelm | simplified register_fonts; | changeset | files |
| Tue, 08 Dec 2009 16:44:30 +0100 | wenzelm | tuned library names; | changeset | files |
| Tue, 08 Dec 2009 16:30:20 +0100 | wenzelm | misc modernization of names; | changeset | files |
| Tue, 08 Dec 2009 14:49:01 +0100 | wenzelm | misc rearrangement of files; | changeset | files |