Am Thu, 30 Dec 2010 11:59:23 +0100 schrieb Arno Trautmann: > I still hope that somewhere > out there someone does know the meaning of "MiK". Here the answer from Christian: "mik used to be my login name. It is an acronym for: Micro-kid. Hence the capital K in MiKTeX." -- Ulrike Fischer