Mercurial > urweb

comparison lib/ur/basis.urs @ 1369:1a78ca089bd0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Expose buffer type for other C libraries; replace minusSeconds with addSeconds
author Adam Chlipala <adam@chlipala.net>
date Sun, 26 Dec 2010 15:52:56 -0500
parents 02fc16faecf3
children 44a12a321150
comparison
equal deleted inserted replaced
1368:b2bc8bcd546f 1369:1a78ca089bd0
140 140
141 (** * Time *) 141 (** * Time *)
142 142
143 val now : transaction time 143 val now : transaction time
144 val minTime : time 144 val minTime : time
145 val minusSeconds : 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 147
148 148
149 (** * Encryption *) 149 (** * Encryption *)
150 150