djun-kim/pg-dev — pull request #1 by mgage (2012-06-20 03:36:03+00:00)
Title: added features to PGalias()

I pulled your changes, added mine and then ran a few hundred problems without errors .
Things seem ok.

You'll need to set up credentials to use checkProblem.pl (the instructions are in the code the README is a bit out of date -- the wiki page is also slightly out of date).

running check_problems_in_dir.sh from a directory in the WOPL will check all of the problems
in that directory.