log
graph
tags
bookmarks
branches
changeset
browse
file
latest
diff
comparison
annotate
file log
raw
help
Mercurial
>
gui
annotate timer.urs @ 0:37eefd0a2ed4
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Import code from elsewhere
author
Adam Chlipala <adam@chlipala.net>
date
Tue, 14 Dec 2010 10:55:22 -0500
parents
children
rev
line source
adam@0
1
(** Cancelable delayed actions *)
adam@0
2
adam@0
3
type t
adam@0
4
adam@0
5
val create : {Milliseconds : int,
adam@0
6
Action : transaction {}} -> transaction t
adam@0
7
val cancel : t -> transaction {}