annotate examples/datebox.urs @ 23:7c734edc6301

Merge from Adam.
author Karn Kallio <kkallio@eka>
date Sat, 24 Sep 2011 18:55:27 -0430
parents bbdedfde154e
children
rev   line source
kkallio@12 1 val main : unit -> transaction page