Indexing can fail

Write, check, index and diagram Z specifications in Microsoft Word.

Brought to you by: zwordtools

Milestone: 3.2

Status: closed

Owner: Anthony Hall

Labels: None

Priority: 1

Updated: 2018-08-16

Created: 2018-08-16

Private: No

Indexing can fail if there is a reference from the prelude file to an item defined in the main file.

Anthony Hall - 2018-08-16

status: open --> closed
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Anthony Hall - 2018-08-16

This was an error in zxref.exe. Thanks to Rob Arthan for diagnosing the problem. Fixed in 3.3

If you would like to refer to this comment somewhere else in this project, copy and paste the following link: