prettyprinting

[Patrick Gundlach <gundlach@irb.cs.uni-dortmund.de>]

Hi,

I have defined (like verb-jv.tex) a new prettyprinting style. 
Everything is fine, except for the / character. 

inst auth+ myauth {  // comment
  target  = /home/users
  subject = /noth/ing
  action = open(), close() 
  }

is an example of the language. I would like to use the / as a 
beginning of a single line comment (//) and for a double line 
comment (/*...*/) but also in the language but with the same 
appearance as the word home and users (second line). But now the 
/ appears as a green / and the other words black. 
These are the specials I have now.

\gdef\PONsetspecials%
  {\PLsetspecials
    \setpretty`\+=62
   \setpretty`\#=32
   \setpretty`\%=41
   \setpretty`\/=43
   \setpretty`\*=44 }

Viele Grüße,

  Patrick Gundlach

- I TeX, therefore I am -