BaseX 9.0.2: New Maintenance Release

Hi all, A new BaseX maintenance release is available! Please visit http://basex.org to download the latest version. These are the changes: Critical bug fixes: - XQuery: Node ordering of mixed database/fragment instances - XQuery: Index rewritings of paths with nested positional predicates Improvements: - WebDAV: Much faster locking of database resources - XQuery: Enable ENFORCEINDEX for variable predicate arguments - GUI: Larger interaction components, unified font sizes Minor Bug fixes: - DBA: Suppress menu on login page - Commands: Nested evaluation with variable bindings - XQuery: Static typing of lookup expressions Enjoy, Christian