I would guess there's some web service where the projector (or some other person) clicks a button to generate a new version and outputs it into a format that is

I would guess there's some web service where the projector (or some other person) clicks a button to generate a new version and outputs it into a format that is friendly to any current digital projector. I would be surprised if any special projection hardware or software is needed at the theater.