[console_scripts]
specwareexport = specware.cliexport:cliexport
specwareexportheader = specware.cliexportheader:cliexportheader
specwarefind = specware.clifind:clifind
specwareview = specware.cliview:cliview

[specitems_type_provider.plugins]
specware = specware.util:load_specware_types

