[gps-devel] SPARK

[Dowie, Martin (UK)]

Apologies for the cross post in advance but I'm not sure which list (if=
 either) can answer this...

Is there a way for GPS to recognize SPARK annotations ("--#") and then=
 parse what follows into something sensible? Is this something that a user=
 can set up or would it require some development work?

-- Martin

********************************************************************
This email and any attachments are confidential to the intended
recipient and may also be privileged. If you are not the intended
recipient please delete it from your system and notify the sender.
You should not copy it or use it for any purpose nor disclose or
distribute its contents to any other person.
********************************************************************