[TxMt] Typeset & View branch merged back to the mainline

[Robin Houston]

On 05/08/07, Mark Eli Kalderon <eli at markelikalderon.com> wrote:
> Skim uses some kind of heuristic to figure out when latex is
> done typesetting. Sometimes this goes wrong, if it takes a long time,
> and so some of your changes may not be displayed.

Recent versions of Skim can be explicitly instructed to reload the
PDF, using Applescript (tell application "Skim" to revert document
"foo.pdf"). So it's no longer necessary to rely on this mechanism.

Robin