On Tue, Jan 25, 2011 at 5:56 AM, Christian Grün <christian.gruen@gmail.com> wrote:

does the index still work if you reopen the GUI and run your query?
Next, which full-text options have you set?

After doing a few things such as closing Eclipse and restarting the BaseX server, the problem mysteriously disappeared. So I'm not sure what was happening.