Extract HTML grammar by Jim Cordy and SomeDeveloper
Extract Java grammars from TXL
Extract the JavaScript grammar from TXL
Merge branch 'zoo'
redefine now also processed by the TXL ⇒ BGF extracted