Hi Adam, >Actually, there is a way to put the files generated by accommodation in a >folder different from TEXT - but not many people know it, only really old >users, I believe: one just adds a second parameter to Mizar utilities >apart from the *.miz file to process - that's the place where the >environment is supposed to be. So why isn't this in the manual? :-) Freek