Investigate and document requirements for use_ontology and use_document_template #25
Loading…
Reference in New Issue
No description provided.
Delete Branch "%!s(<nil>)"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Currently, use_ontology only seems to work if activated in the first theory loaded as part of the document generation process. Check if this is true and decide on next steps (e.g., "just document it" or "implement a fix that allows later registration of ontologies"). This might allow us to get rid of use_ontologies_unchecked.