From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/5446
Path: main.gmane.org!not-for-mail
From: Patrick Gundlach <gundlach@irb.cs.uni-dortmund.de>
Newsgroups: gmane.comp.tex.context
Subject: prettyprinting
Date: Thu, 30 Aug 2001 14:28:07 +0200
Sender: owner-ntg-context@let.uu.nl
Message-ID: <200108301228.OAA13118@sol.cs.uni-dortmund.de>
NNTP-Posting-Host: coloc-standby.netfonds.no
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: main.gmane.org 1035396039 1694 80.91.224.250 (23 Oct 2002 18:00:39 GMT)
X-Complaints-To: usenet@main.gmane.org
NNTP-Posting-Date: Wed, 23 Oct 2002 18:00:39 +0000 (UTC)
Original-To: ntg-context@ntg.nl
Xref: main.gmane.org gmane.comp.tex.context:5446
X-Report-Spam: http://spam.gmane.org/gmane.comp.tex.context:5446

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 -