ViewVC logotype

Index of /trunk/projects/semantics

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

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

ViewVC Help
Powered by ViewVC 1.1.26