# HG changeset patch # User wenzelm # Date 1486677656 -3600 # Node ID c22e092b39e94a7e13d8a9109e6d9d06e55e6550 # Parent 97a622d016093240b4c79eb3fd24b2064e85643b timestamp string format for SQLite; diff -r 97a622d01609 -r c22e092b39e9 src/Pure/General/date.scala --- a/src/Pure/General/date.scala Thu Feb 09 22:40:15 2017 +0100 +++ b/src/Pure/General/date.scala Thu Feb 09 23:00:56 2017 +0100 @@ -39,6 +39,7 @@ val default: Format = Format("dd-MMM-uuuu HH:mm:ss xx") val date: Format = Format("dd-MMM-uuuu") val time: Format = Format("HH:mm:ss") + val timestamp: Format = Format("uuuu-MM-dd HH:mm:ss.SSS x") } abstract class Format private