HomeIsabelle/Phabricator

proper document setup for \usepackage{times};

Description

proper document setup for \usepackage{times};
drop extra copy of generated document;

Details

Provenance
makariusAuthored on
Parents
rAFP0baf3f6a39cc: more realistic timeout;
Branches
Unknown
Tags
Unknown