OVALProject/Sandbox — pull request #60 by chisholm (2012-11-13 23:14:18+00:00)
Title: sql57 extension, try #2

This combines the sc and def schemas into a single schema, and switches the obj/state/item names as well as the namespace to use "sql511" instead of "sql57". The results file is actually generated from ovaldi on its sql57 branch.