I thought the plan was to eventually make MINIMAL-TAGBITS
on by default. If so, then maybe we should go ahead and
make this the default for 21.2.x, so any remaining bugs
can be shaken out.
--
Richard Coleman
coleman(a)math.gatech.edu
Show replies by date