I've merged the maint branch into the yacc-work branch, and pushed.
Regards,
Stefano
* Stefano Lattarini wrote on Mon, Apr 11, 2011 at 05:33:47PM CEST:
> The yacc-work branch, due to its slow advancing pace, was falling more
> and more out of sync with maint, and thus with all the improvements
> and bug fixings done there in the meantime. Since yacc-work is meant
> to be eventual
The yacc-work branch, due to its slow advancing pace, was falling more
and more out of sync with maint, and thus with all the improvements
and bug fixings done there in the meantime. Since yacc-work is meant
to be eventually merged into either maint or master (we still have to
decide which one fi
