DynareTeam/dynare — pull request #467 by JohannesPfeifer (2013-09-10 14:37:19+00:00)
Title: Reintroduces nofunctions option mentioned in the manual that got somehow...

... lost