> seems to be an empty ZIP file

Same here. But the converted files are ok.

> some stuff seems to be unimplemented

As far as I understand, the provided files don't represent the latest compiler version. So maybe a later version had a better optimizer. But it's good to have the sources anyway, so I can use it to clarify language issues for my forthcoming Lisa Pascal compiler/transpiler.