Formalized Mathematics: journal and remote proof-read and previewing (latest previewing)