> I would really like the LaTeX/ps/pdf versions to be kept alive. I > often find the nice hard-copy easier to read, especially on the EL. We will figure out how to produce nice hard-copy ... from the wiki source. I'm thinking it might be nice to go for a printed "MLton Encyclopedia", with all the entries in alphabetical order by wiki page title, with nice cross references and an index.