It seems as if wish can't cope with directories which contain blanks. I happended to load a pvs file from another context when suddenly the proof tree appeared... Tom