On 2010-08-09 08:15:09 +0100, Hans Hagen said:
On 9-8-2010 8:50, Taco Hoekwater wrote:
On 08/09/2010 06:58 AM, Jesse Alama wrote:
There's a plain TeX package (bussproofs.sty from CTAN; I realize that the file ends with ".sty" but it's intended to work in plain TeX) that I'm trying to get working with ConTeXt. I'm stuck at one point though: the package has the statements
\def\newcount{\alloc@0\count\countdef\insc@unt} \def\newdimen{\alloc@1\dimen\dimendef\insc@unt} \def\newskip{\alloc@2\skip\skipdef\insc@unt} \def\newbox{\alloc@4\box\chardef\insc@unt}
ConTeXt has \newcount et al. predefined already.
Plain tex also has these. If a style (in this case busproofs) does not check for that it's likely to clash with more.
The package seems to work fine if I just kill those \def's -- thanks! Jesse