[console_scripts]
check_consistency = macleod.scripts.check_consistency:main
check_consistency_all = macleod.scripts.check_consistency_all:main
check_nontrivial_consistency = macleod.scripts.check_nontrivial_consistency:main
clif_converter = macleod.scripts.clif_converter:deprec
clif_to_ladr = macleod.scripts.parser:clif_to_ladr
clif_to_latex = macleod.scripts.parser:clif_to_latex
clif_to_owl = macleod.scripts.parser:clif_to_owl
clif_to_tptp = macleod.scripts.parser:clif_to_tptp
delete_output = macleod.scripts.delete_output:main
parse_clif = macleod.scripts.parser:parse_clif
prove_lemma = macleod.scripts.prove_lemma:main
prove_lemma_all = macleod.scripts.prove_lemma_all:main

[gui_scripts]
macleod = macleod.gui.gui_beta.gui_main:main [GUI]
