[console_scripts]
query = isabelle_query.cli:main
