[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