v0.3 meta-annotations in import and more
Pre-release
Pre-release
The elot-exporter jar now handles annotations on annotations and axioms, and language tags are handled better. Input for elot-exporter can now be URLs, not just files. In ELOT, various less-common cases are handled better.