log tests/paths2.urs

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