update antlr document