Mon, 28 Jul 2008 12:39:58 +0100 Akos Ladanyi Unify the spelling of LEMON (#103).