Richard Heck wrote:
I am personally OK with it, at least on the code side. Concerning the binding, I'd prefer to make master-preview the default (using pdflatex). But this is another story.What's the status of this? Are we still discussing implementation, or can this go in? If the latter, I can commit it later.
Abdel.
