log tests/rpcDE.ur

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