- From: Bijan Parsia <bparsia@cs.man.ac.uk>
- Date: Fri, 29 May 2009 12:28:08 +0100
- To: Alan Ruttenberg <alanruttenberg@gmail.com>
- Cc: "Peter F.Patel-Schneider" <pfps@research.bell-labs.com>, sandro@w3.org, public-owl-wg@w3.org
On 29 May 2009, at 11:59, Alan Ruttenberg wrote: >> One way to go would be to strip the characters out before PDF >> generation, but I don't think that this is worth it and certainly not >> for this round. > > Another would be to grab a screen snap and use the png in the pdf. Or the W3C ask for an in kind donation from, oh, Adobe of the relevant font. Cheers, Bijan.
Received on Friday, 29 May 2009 11:24:08 UTC