[antlr-interest] Antlr (& ST) source repository
Gary Miller
miller.garym at gmail.com
Mon Aug 22 18:46:16 PDT 2011
How often is the ANTLR repository pushed to the github repository?
Currently the tools directories last change in the github repository
last seems to be
April 13, 2011 (https://github.com/antlr/antlr/blob/master/tool/CHANGES.txt)
where as the http://www.antlr.org/depot/antlr3/main/tool/CHANGES.txt is
August 10, 2011
Is there read-only access to the main repository?
Regards
Gary
More information about the antlr-interest
mailing list