Mercurial > urweb

comparison lib/ur/basis.urs @ 1359:e525ad571e15

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Recursive record unification errors, for more detail
author Adam Chlipala <adam@chlipala.net>
date Thu, 23 Dec 2010 11:23:31 -0500
parents 32c8a3509369
children 02fc16faecf3
comparison
equal deleted inserted replaced
1358:32c8a3509369 1359:e525ad571e15
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 minusSeconds : time -> int -> time
146 val timef : string -> time -> string (* Uses strftime() format string *)
146 147
147 148
148 (** HTTP operations *) 149 (** HTTP operations *)
149 150
150 con http_cookie :: Type -> Type 151 con http_cookie :: Type -> Type