-/** Returns a locale-dependent formatting of the date
- * and time encoded in \c time. For the formatting,
- * \c lyxrc.date_insert_format is being used.
+/**
+ * Inverse of ctime().
+ * Since ctime() outputs the local time, the caller needs to ensure that the
+ * time zone and daylight saving time are the same as when \p t was created
+ * by ctime().