I'm using czt-ide-1.6.0.201301310424-win32.win32.x86_64
I have a specification consisting of two sections, TestIndexCZT and TestIndexPrelude, each in its own file.
When editing TestIndexCZT if I try to Go To Declaration of a name (eg VGPGiven) defined in TestIndexPrelude, it does not go there. It either does nothing or takes me to an irrelevant part of TestIndexCZT.