BaseXdb/basex — pull request #418 by charles-dyfis-net (2012-03-05 19:14:15+00:00)
Title: use valid xs:dateTime values in db:list-details() output [both arities]

Previously, `db:list-details()` used `dd.MM.yyyy HH:mm:ss` as its date format when called with no arguments, and milliseconds-since-epoch when listing resources for an individual database.

This patch modifies it to use valid `xs:dateTime` values in both cases.