Mercurial > urweb

diff lib/ur/basis.urs @ 1372:268d9af9103f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.readUtc
author Adam Chlipala <adam@chlipala.net>
date Tue, 28 Dec 2010 14:51:57 -0500
parents 44a12a321150
children 64724ef86149
line wrap: on
line diff
--- a/lib/ur/basis.urs	Mon Dec 27 12:08:00 2010 -0500
+++ b/lib/ur/basis.urs	Tue Dec 28 14:51:57 2010 -0500
@@ -144,6 +144,7 @@
 val minTime : time
 val addSeconds : time -> int -> time
 val timef : string -> time -> string (* Uses strftime() format string *)
+val readUtc : string -> option time
 
 
 (** * Encryption *)