Hi logiweb at diku.dk, I've managed to write a .pyk file with a compilation time of about 20-25 minutes on DIKU's system (four iterations)... Is there any way to speed up the process, e.g. if you just want pyk to produce a .pdf file without caring about correctness? Best Regards Frederik Eriksen.