On  5 Oct, Manuel M. T. Chakravarty wrote:
>  I currently use (# and #) [...]
>  Any opinions?

Definitely use the pragma syntax suggested by Simon PJ
-- 
J�n Fairbairn                                 [EMAIL PROTECTED]


Reply via email to