http://hg.impredicative.com/urweb/atom-log/tip/tests/solo.urUr/Web: tests/solo.ur history2010-09-07T09:21:51-04:00Shortcut invocations for single .ur fileshttp://hg.impredicative.com/urweb/#changeset-0d3d9e653829b842e14557777beb095d1d7c77d2Adam Chlipalaadam@chlipala.net2010-09-07T09:21:51-04:002010-09-07T09:21:51-04:00