janhaag/PSE2011 — Issue #92: Documentation should include cases in which function calls are not allowed
Author: tschlum
Created: 2012-03-05 03:20:59+00:00
State: open

Function calls are not allowed in certain cases (global breakpoints, quantified expressions, ...), which must be documented.