/[volute]/trunk/projects/semantics
ViewVC logotype

Index of /trunk/projects/semantics

Files shown:1
Directory revision: 5325 (of 6038)
Sticky Revision:


File (rev) Rev. Age Author Last log entry
 Parent Directory        
vocabularies/  5325  2 years  msdemlei   Adding a dump of the theory vocabularies as of 2019-02
vocab-spec/  5258  2 years  msdemlei   renaming former "vocabularies" directory to make it a bit clearer it's the spec.…
README  5257  2 years  msdemlei   Moving semantics stuff to the proper subdirectory.

msdemlei@ari.uni-heidelberg.de
ViewVC Help
Powered by ViewVC 1.1.26