# 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