The Coq mailing list

[Benedict Kavanagh <b.i.kavanagh AT sms.ed.ac.uk>]

Another question regarding moving to 8.0. 

I just downloaded 8.0beta3. I built it for linux (RH9,kernel 2.4.20, gcc
3.2.2) and it does not seem to accept the option -translate. The
translation documentation package that I just downloaded refers to that
option as does the script translate-v8. 

Does the coqc built from the latest beta3 code dist take a -translate
argument?

Basically what is the status of the translation functionality and have a
made some mistake?

Cheers,
Ben