log tests/rpc2.urp

age author description
2009-02-15 Adam Chlipala Initial parsing of RPC results