CADiZ

Reference manual / Z-related commands / Browsing commands / prev context


The prev context command is applicable to error and warning reports that concern conflicts between two different formulae in the specification, such as multiple declarations of the same name. Whereas the context command causes the erroneous later formula to be selected, the prev context command selects the earlier formula.


IT 10-Oct-1997