L
LATIN
The Logic Atlas and Integrator project content (still in TWELF, not MMT syntax)
-
Florian Rabe authored053b1bbb
The Logic Atlas and Integrator project content (still in TWELF, not MMT syntax)
Name |
Last commit
|
Last update |
---|---|---|
META-INF | Loading commit data... | |
content | Loading commit data... | |
export | Loading commit data... | |
help | Loading commit data... | |
models/org/omdoc/latin/models | Loading commit data... | |
narration | Loading commit data... | |
relational | Loading commit data... | |
source | Loading commit data... | |
.classpath | Loading commit data... | |
.gitattributes | Loading commit data... | |
.gitignore | Loading commit data... | |
.project | Loading commit data... | |
README.md | Loading commit data... | |
build.msl | Loading commit data... | |
build.sbt | Loading commit data... | |
clean.msl | Loading commit data... | |
mmt-compatibility.txt | Loading commit data... | |
serve.msl | Loading commit data... |