log tests/solo.ur

age author description
2010-09-07 Adam Chlipala Shortcut invocations for single .ur files