Hi Abdel Thanks for your answer and sorry for the late response. I forgot to check the mailing-list. Sorry for the stupid question, but what do you mean by "delete the tree"? I guess you are referring to some file which contains information about the tree. Or do you really mean I should delete my whole lyx-devel directory? ?-) Sebastian
-- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.
