I see no pending change lists so I think we are okay to shut it down. actually I to check one thing to make sure that the antlr/antlr3 github repository is properly code/antlr/antlr3-main from p4 not code/antlr/main.
Ter _______________________________________________ antlr-dev mailing list antlr-dev@antlr.org http://www.antlr.org/mailman/listinfo/antlr-dev
