missing loc info on problem window

Tool support for the Z formal notation

Status: Beta

Brought to you by: andrius-velykis, leouk, marku, petramalik, timmiller

#72 missing loc info on problem window

Status: open

Owner: Andrius Velykis

Labels: zeveseclipse (32)

Priority: 3

Updated: 2011-10-20

Created: 2011-10-20

Creator: Leo Freitas

Private: No

I get

Description Resource Path Location Type
Global name "dlMForestHasPathToRoot" multiply declared markedforest-explore3.zed /experiment/Z line 0 CZT Problem

where the lemma/goal is at line 538

missing loc info on problem window

Tool support for the Z formal notation

Group

Searches

Help

#72 missing loc info on problem window

Discussion