ViewVC logotype

Revision 5661

Jump to revision: Previous Next
Author: msdemlei
Date: Tue Oct 1 13:34:07 2019 UTC (20 months, 2 weeks ago)
Changed paths: 2
Log Message:
Outlawing the representation of predicates with attribute names in our flavour

Also, many small, mainly editorial, fixes after comments by Mark Taylor

Changed paths

Path Details
Directorytrunk/projects/semantics/Vocabularies/Vocabularies.tex modified , text changed
Directorytrunk/projects/semantics/Vocabularies/revovo.py modified , text changed

ViewVC Help
Powered by ViewVC 1.1.26