ndziorlg/opalang — pull request #2 by ndziorlg (2014-09-29 14:30:22+00:00)
Title: Revert "Merging changes from MLstate"

Reverts ndziorlg/opalang#1