OVALProject/Language — pull request #146 by drothenberg (2013-09-24 16:09:22+00:00)
Title: Fixes #110

Adds an OperatorEnumeration attribute to the possible_restriction
element in external variables. Updates the documentation specifying
default behavior.