[console_scripts]
isabelle-query = isabelle_query.cli:main
query = isabelle_query.cli:main
