Hi all, Does anyone know the whereabouts of John Coiner who announced his 'Alice' compiler for OpenVera on this list earlier this (soon last.. ;-) year? He seems to have left Stanford, and google doesn't turn up anywhere else... Alternatively, did anyone download a copy of Alice I could keep available in ftp? Thanks (and a happy new year!) Graham