[console_scripts]
isabelle-semantics = Isabelle_Semantic_Embedding.semantics_manage:main
