log tests/rpcO.urp

age author description
2009-03-08 Adam Chlipala RPC returning an option