annotate lib.urp @ 0:37eefd0a2ed4

Import code from elsewhere
author Adam Chlipala <adam@chlipala.net>
date Tue, 14 Dec 2010 10:55:22 -0500
parents
children 4d8165e8f89a
rev   line source
adam@0 1 timer
adam@0 2 waitbox