2 commits

Author	SHA1	Message	Date
joerg	3fa6aa88b0	py-antlr4 no longer works with Python 2.x.	2018-12-27 15:10:51 +00:00
jaapb	b8791bb02a	Added textproc/py-antlr4, Python bindings for Antlr4. ... This is needed as a dependency for the new version of lang/coq.	2018-07-26 16:34:57 +00:00