[basex-talk] db:replace modified date

After debugging a query for a while, I figured out that db:replace isn’t changing the modification date of an XML resource, when the content hasn’t changed. The case is like this: db:replace(‘db’, ‘abc.xml’, doc(‘file:/tmp/abc.xml’)) Is that normal, or do I have an option set that results in

Re: [basex-talk] Differences in serialization of arrays with JSON vs. adaptive methods

> Having tried out the snapshot, I can confirm the queries are bluer! ;) Talking about colors, I have slightly revised our color schemes (for XQuery, XML, JSON and JavaScript files) and made them more subtle. Real input parsing is somewhere on our agenda as well. I noticed that the highlighting