This looks like an issue involving blackboard bold S in indexes. I had
an issue with this a few months ago and, after investigating, I recorded
the following:
The file sievekeyword should not have a \MMM{...} entry for %bbS%. Due
to the presence of the \MMM{...}, LaTeX does not work when %bb
I am now running ProofPower on Ubuntu 10.04 LTS.
In the last couple of days something has been automatically
upgraded which has broken the processing of indexes on
ProofPower documents (I believe this because when I roll
back my ProofPower work several weeks I still have the
problem which only