mdamle/paxos — pull request #1 by mantri (2013-05-10 05:35:09+00:00)
Title: Update paxos.orc

Changed the goal expressions and comments with instructions to run them.