Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Generalize handling of entailment paths
Do not assume we want the same layout as in the NamingAuthority repo. If no root and no output directory is provided, create an "entailed" subdirectory in the same path as the entailed file, which makes more sense for other projects
- Loading branch information