Re: Typeset with array

[Peter Stephenson <p.stephenson@xxxxxxxxxxx>]

On Wed, 24 Jun 2015 10:14:04 +0100
Peter Stephenson <p.stephenson@xxxxxxxxxxx> wrote:
> On Tue, 23 Jun 2015 13:25:22 -0700
> Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx> wrote:
> > On Jun 23,  5:47pm, Peter Stephenson wrote:
> > } I think this is now basically working.  Any more comments, or should I
> > } roll this out and see what happens?
> > 
> > I'd say go for it.
> 
> OK, here's one more test that's been bugging me (but does pass), then
> I'll rebase onto the end of master and do any remaining tweaks there.

Pushed 39b28980f3.  I'll leave typeset-array for historical interest.

I presume this is going to have at least *some* knock on effects...

pws