Google thought it should highlight too much with boldfeed when you copy/paste from it.<br>The right link is<br><br><a href="http://research.microsoft.com/~simonpj/papers/stm/stm.pdf">http://research.microsoft.com/~simonpj/papers/stm/stm.pdf
</a><br><br>I checked it from here in a shell and this does seem to work.<br><br><div><span class="gmail_quote">On 4/20/07, <b class="gmail_sendername">Henry Cejtin</b> <<a href="mailto:henry.cejtin@sbcglobal.net">henry.cejtin@sbcglobal.net
</a>> wrote:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">The link/reference<br> [1] <a href="http://research.microsoft.com/~simonpj/papers/*stm*/*stm*.pdf">
research.microsoft.com/~simonpj/papers/*stm*/*stm*.pdf</a><br>certainly doesn't work for me (even truncating the glob's off the end).<br></blockquote></div><br>