Mercurial > urweb

diff lib/ur/basis.urs @ 1075:0657e5adc938

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Convert to task syntax
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Dec 2009 10:19:05 -0500
parents b2311dfb3158
children 25d491287358
line wrap: on
line diff
--- a/lib/ur/basis.urs	Sun Dec 13 14:34:18 2009 -0500
+++ b/lib/ur/basis.urs	Tue Dec 15 10:19:05 2009 -0500
@@ -757,3 +757,9 @@
 val onServerError : (string -> transaction unit) -> transaction unit
 
 val show_xml : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> show (xml ctx use bind)
+
+
+(** Tasks *)
+
+type task_kind
+val initialize : task_kind