log tests/rpc2.ur

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