Mercurial > urweb

comparison lib/ur/basis.urs @ 1514:3c0803c1acd7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Backpedal on tutorial-motivated urweb-mode changes; add Basis.diffInSeconds and Basis.toSeconds
author Adam Chlipala <adam@chlipala.net>
date Fri, 22 Jul 2011 15:39:38 -0400
parents 4300592e6803
children 27b8c0a460cf
comparison
equal deleted inserted replaced
1513:5616b2cbdcdb 1514:3c0803c1acd7
143 (** * Time *) 143 (** * Time *)
144 144
145 val now : transaction time 145 val now : transaction time
146 val minTime : time 146 val minTime : time
147 val addSeconds : time -> int -> time 147 val addSeconds : time -> int -> time
148 val toSeconds : time -> int
149 val diffInSeconds : time -> time -> int
150 (* Earlier time first *)
148 val timef : string -> time -> string (* Uses strftime() format string *) 151 val timef : string -> time -> string (* Uses strftime() format string *)
149 val readUtc : string -> option time 152 val readUtc : string -> option time
150 153
151 154
152 (** * Encryption *) 155 (** * Encryption *)