BaseX 7.2

API:

- new restxq api, introduced by adam retter
- rest: failed query now returns line/column position
- client apis: commands added for binding context items,
  and checking if a query performsn updates

GUI:

- performance: limit number of displayed hits - fixed editor highlighting

CLIENT/SERVER:

- introduce timeout for rest and other apis
- verify permissions when using local sessions
- improved logging of error output

OPTIONS:

- new options for configuring proxy servers
- advanced TagSoup options added for importing HTML files
- ignore TIMEOUT for admin operations

XQUERY:

- hof:top-k-with(..) and hof:top-k-by(..) return the top k items in a sequence
- repo:list() now returns nodes - support for annotations
- new signatures for util:mem() and util:time()
- updated EQName syntax: Q{uri}local-name
- XQuery 3.0 annotations
- optimized ft:tokens()

COMMANDS:

- fixed export of pure RAW data
- permissions changed for REPO DELETE, REPO INSTALL and REPOLIST
- remove 'path' argument from CREATE INDEX and DROP INDEX

CORE:

- pin opened databases to avoid concurrent updates with multiple BaseX instances

COMMAND-LINE:

- added readline support for Linux-/Unix-based terminals
- saving history

SERIALIZATION:

- HTML5 support added
- new 'separator' option to specify the character to be used as item separator

MISCELLANEOUS:

- fixed WAR/web archive issues
- limit query exceptions to file names for non-admin users
- fixed Path Summary staying out-of-date issue