Commit 2872bbbde068b45b4788f3998fe3d80146f5442b

Stefano Lattarini 2011-01-12T23:44:02

Merge branch 'doc-yacc-d-improve' into maint