[antlr-interest] adding "version" option to ANTLR grammars

[Gavin Lambert]

At 22:27 20/01/2009, Johannes Luber wrote:
 >> > options {
 >> > 	language = ...;
 >> > 	version = "3.1.1";
 >> > }
 >
 >I just thought about an improvement: ANTLR should warn the user, 
if
 >the version isn't identical to the one of the tool. That way 
people
 >not only see a potential issue, but are more inclined to update 
the
 >string.

I agree with both of those.