view tests/utest.urs @ 32:90b8ce9be9f5

Change some field names and update utest
author Adam Chlipala <adam@chlipala.net>
date Thu, 21 Apr 2011 13:24:55 -0400
parents 5e03668972ea
children
line wrap: on
line source
val main : unit -> transaction page