HomeIsabelle/Phabricator

clarified signature: allow to change options in instances of Document_Build.

Description

clarified signature: allow to change options in instances of Document_Build.Engine;

Details

Provenance
makariusAuthored on
Parents
rISABELLE739edaad4f42: tuned signature;
Branches
Unknown
Tags
Unknown