[metapost] Re: pdf output and extensions

[Taco Hoekwater]

Larry Siebenmann wrote:
> I have read that *metafont* does secretly convert circular
> pens to polygonal pens of approximately circular shape.  But
> I doubt the same is done in the scalable mp world (which
> polygon?!).  Prove me wrong!

No need, because you are right.

> I am not against the revised proposal 4, even with the
> restriction to polygonal pens -- which makes it into a
> shortcut to content already available by postprocessing.  

That was precisely what I had in mind when I wrote it down
(clumsily). The restriction is easy to avoid if you need to
anyway, because you can always use

   envelope <path> withpen makepath(pencircle scaled 20);

Greetings, Taco