log tests/paths.urp

age author description
2010-01-12 Adam Chlipala -path and -root command-line flags