Query Log

[AJKellmann]

A log of the queries during a session could help to reproduce the results - and they could be helpful to document.

The log should

• contain the queries the user has defined and executed in the current session
• be exportable from the quest as a text file
• be part of the serialized savestates
• have a timestamp