Updated releasetable

emmo-repo · Apr 30, 2024 · d4e8d51 · d4e8d51
1 parent 056dea9
commit d4e8d51
Show file tree

Hide file tree

Showing 6 changed files with 150,514 additions and 108,402 deletions.
diff --git a/_sources/emmo.rst.txt b/_sources/emmo.rst.txt
diff --git a/emmo.html b/emmo.html
diff --git a/emmo.owl b/emmo.owl
diff --git a/emmo.ttl b/emmo.ttl
diff --git a/objects.inv b/objects.inv
diff --git a/searchindex.js b/searchindex.js