Changes

Jump to navigation Jump to search
1 byte removed ,  11:56, 11 November 2017
no edit summary
</pre>
* In XQuery, local options can be set via option declarations and [[XQuery Extensions#Pragmas|Pragmaspragmas]]).
If options are changed by operations in the [[GUI]], the underlying commands will be listed in the [[GUI#Visualizations|Info View]].<br/><br/>
Bureaucrats, editor, reviewer, Administrators
13,550

edits

Navigation menu