document_build engine for "lipics", with options and document_files;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE107d8203fbd7: clarified signature: allow to change options in instances of Document_Build.
- Branches
- Unknown
- Tags