Mercurial > urweb

comparison lib/ur/basis.urs @ 1290:6791454653c5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Confirm boxes; proper event handler setting for ctags
author Adam Chlipala <adam@chlipala.net>
date Sun, 22 Aug 2010 19:45:07 -0400
parents 5137b0537c92
children be6e2cd8d9a9
comparison
equal deleted inserted replaced
1289:3b22c3c67f35 1290:6791454653c5
156 156
157 157
158 (** JavaScript-y gadgets *) 158 (** JavaScript-y gadgets *)
159 159
160 val alert : string -> transaction unit 160 val alert : string -> transaction unit
161 val confirm : string -> transaction bool
161 val spawn : transaction unit -> transaction unit 162 val spawn : transaction unit -> transaction unit
162 val sleep : int -> transaction unit 163 val sleep : int -> transaction unit
163 164
164 val rpc : t ::: Type -> transaction t -> transaction t 165 val rpc : t ::: Type -> transaction t -> transaction t
165 166