[console_scripts]
block = isabelle_block.cli:main
