annotate tests/has space.ur @ 1645:b71cc5ec59b3

Merge
author Adam Chlipala <adam@chlipala.net>
date Wed, 28 Dec 2011 10:30:56 -0500
parents d40066b38710
children
rev   line source
adam@1473 1 fun main () : transaction page = return <xml>Hehe</xml>
adam@1473 2