On 10 Aug 2010, at 17:08, Roger Bishop Jones wrote:
> ...
> \typeout{$Id: rbj.sty,v 1.2 2010-08-08 15:50:44 rbj Exp $}
> \NeedsTeXFormat{LaTeX2e}
> \ProvidesPackage{rbj}
> \RequirePackage{ProofPower}
> \RequirePackage{mathabx}
> \def\Zdef{\MMM{\corresponds}}
> \def\holindexon{\def\holin...@aux##1{
On Tuesday 10 Aug 2010 15:17, you wrote:
> On 9 Aug 2010, at 19:20, Roger Bishop Jones wrote:
> > ...The failure was connected with my trying (and
> > failing) to redefine something defined in
> > ProofPower.sty (instead of having my own special
> > version of it).
> > Does anyone know a way to ove
On 9 Aug 2010, at 19:20, Roger Bishop Jones wrote:
> ...The failure was connected with my trying (and failing) to
> redefine something defined in ProofPower.sty (instead of
> having my own special version of it).
> Does anyone know a way to override a definition in a style
> file (other than b
Thanks Phil for your suggestion.
It transpires that the "rollback" of my own work which
persuaded my that the error must have been caused by
something other than myself was incomplete, and I have now
located and fixed a problem, which I had introduced into my
LaTex index hacks (because somethi
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