Stefan wrote: > Which version of psi are you using? > > Me: psi v0.11-dev (Aug 10 2007) on WinXP That friend of mine have told me he is using current Darcs/SVN snapshot, so it should be more less the same as yours. However, he's using Linux. Regards, -- Michał Jazłowiecki (michalj) Psi Forum & Wiki Moderator