Mercurial > urweb
comparison lib/ur/basis.urs @ 1372:268d9af9103f
Basis.readUtc
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Tue, 28 Dec 2010 14:51:57 -0500 |
parents | 44a12a321150 |
children | 64724ef86149 |
comparison
equal
deleted
inserted
replaced
1371:4e5ca2a77a4d | 1372:268d9af9103f |
---|---|
142 | 142 |
143 val now : transaction time | 143 val now : transaction time |
144 val minTime : time | 144 val minTime : time |
145 val addSeconds : time -> int -> time | 145 val addSeconds : time -> int -> time |
146 val timef : string -> time -> string (* Uses strftime() format string *) | 146 val timef : string -> time -> string (* Uses strftime() format string *) |
147 val readUtc : string -> option time | |
147 | 148 |
148 | 149 |
149 (** * Encryption *) | 150 (** * Encryption *) |
150 | 151 |
151 val crypt : string -> string -> string | 152 val crypt : string -> string -> string |