From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/565
Path: main.gmane.org!not-for-mail
From: Tobias Burnus <burnus@gmx.de>
Newsgroups: gmane.comp.tex.context
Subject: Re: extended pretty printing
Date: Mon, 21 Jun 1999 14:47:56 +0200
Sender: owner-ntg-context@let.uu.nl
Message-ID: <376E347C.DAA9C299@gmx.de>
References: <376D143E.A1CF3AD1@wxs.nl>
NNTP-Posting-Host: coloc-standby.netfonds.no
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Trace: main.gmane.org 1035391417 25116 80.91.224.250 (23 Oct 2002 16:43:37 GMT)
X-Complaints-To: usenet@main.gmane.org
NNTP-Posting-Date: Wed, 23 Oct 2002 16:43:37 +0000 (UTC)
Cc: NTG-CONTEXT <ntg-context@ntg.nl>
Original-To: Hans Hagen <pragma@wxs.nl>
Xref: main.gmane.org gmane.comp.tex.context:565
X-Report-Spam: http://spam.gmane.org/gmane.comp.tex.context:565

Hallo Hans, hi all,

Is there any possibility (but // //) to get '//' before the JAVA-// comments?
The /* */ can appear, but must not.

Tobias

PS: I'm going to get the new TeX code to test it now.