Mercurial > gui

annotate forms.urs @ 2:33c83ae7c9af

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of datebox: calendarizing current month correctly
author Adam Chlipala <adam@chlipala.net>
date Tue, 08 Feb 2011 15:51:42 -0500
parents 4d8165e8f89a
children 1e04008eaef7
rev   line source
adam@1 1 datatype readiness a = Ready of a | Waiting | Invalid of string
adam@1 2 datatype rpcResult a = Success of a | Failure of string
adam@1 3
adam@1 4 val warning : a ::: Type -> signal (readiness a) -> xbody