Mercurial > gui
annotate examples/dateboxMain.urs @ 30:c1f06342c81f
Add margin example
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 12 May 2012 10:07:45 -0400 |
parents | 93140c5cc972 |
children |
rev | line source |
---|---|
kkallio@12 | 1 val main : unit -> transaction page |