set "baseuri" "s"

Synopsis:

set qstring qstring

Action:

Sets to s the baseuri of all the theorems and definitions stated in the current file. The baseuri should be a/b/c/foo if the file is named foo and it is in the subtree a/b/c of the current development. This requirement is not enforced, but it could be in the future.

Currently, baseuri is the only property that can be set even if the parser accepts arbitrary property names.