Monday, February 25, 2002 Hans Hagen wrote:
HH> At 01:07 PM 2/21/2002 +0100, Robert F. Beeger wrote:
>>There are is a JS and a JV verbatim environment defined in ConTeXt.
>>What is the difference between those two. Is it only to make the
>>intention clear : If you have some Java-code, use JV to make clear
>>that it is Java and not JavaScript. If it is JavaScript use JS. Or is
>>there more to it.
HH> no, as you deduced, theye're just synonyms
And they shouldn't be! I believe JV should be kept for Java
("real" Java).
--
Giuseppe "Oblomov" Bilotta
