Mercurial > urweb

comparison lib/ur/basis.urs @ 1360:02fc16faecf3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
[De]serialization of times in JavaScript; proper integer division in JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types
author Adam Chlipala <adam@chlipala.net>
date Thu, 23 Dec 2010 17:46:40 -0500
parents e525ad571e15
children 1a78ca089bd0
comparison
equal deleted inserted replaced
1359:e525ad571e15 1360:02fc16faecf3
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 val timef : string -> time -> string (* Uses strftime() format string *)
147
148
149 (** * Encryption *)
150
151 val crypt : string -> string -> string
147 152
148 153
149 (** HTTP operations *) 154 (** HTTP operations *)
150 155
151 con http_cookie :: Type -> Type 156 con http_cookie :: Type -> Type