HomeIsabelle/Phabricator

clarified bash scripts, with public interfaces for user-defined Document_Build.

Description

clarified bash scripts, with public interfaces for user-defined Document_Build.Engine;

Details

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