Re: embedded-ps stencil confusion

[Valentin Villenave]

2008/10/6 Trevor Daniels <address@hidden>:

> OK, I added it (my first, so please check it out
> and fix it up if necessary).  I'd like to ref it
> in the docs.

Hi Trevor,
which one is it?

http://lsr.dsi.unimi.it/LSR/Item?id=516
or
http://lsr.dsi.unimi.it/LSR/Item?id=517
?

(PS you may obtain these URLS by clicking on "Preview" then copying
the URL of the page that opens)

Cheers,
Valentin