On 4/2/07, <b class="gmail_sendername">Jenny Harrison</b> <<a href="mailto:harrison@math.berkeley.edu">harrison@math.berkeley.edu</a>> wrote:<div><span class="gmail_quote"></span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div style=""><div><span style="border-collapse: separate; border-spacing: 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px;">
<span style="border-collapse: separate; border-spacing: 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px;">
<span style="border-collapse: separate; border-spacing: 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px;">
I am very interested in LaTeX Watch.  Some people never experience slowdowns, especially with their Intel machines, but I  have longed for something like this when formatting large documents.  </span></span></span></div></div>
</blockquote><div><br>It does make a big difference, especially if you need to compile via PostScript (e.g. if you're using PSTricks). For the document I'm working on at today, it takes more than a minute to generate a PDF file from the source, but only 5 seconds to update the preview using this script.
<br><br>Even for documents that don't need PostScript specials, it's still several times faster on my machine.<br><br>Please do give it a try, when you have the time, and let me know whether it works (or if not, why not).
<br><br>Thanks,<br>Robin<br></div></div>