.. 00-syntax.md Makefile README.md _bibtex.hop _index.md abro-gui.hh.js api.html api.md bib.html bib.md css/ debug.html debug.md dev.html dev.md doc.json doc.json.in doc.json.orig download.html download.md favicon.png footer.md hiphop-module.bnf hiphop-translator.js hiphop.bib hiphop.css idx.html idx.json index.html lang/ lib/ license.md logo.svg mermaid-6302dfb2.svg modules/ naive-translator.js so/ staging.html staging.md syntax/ tutorials.html tutorials.md