[console_scripts]
specwareexport = specware.cliexport:cliexport
specwareexportheader = specware.cliexportheader:cliexportheader
specwareverify = specware.cliverify:cliverify
specwareview = specware.cliview:cliview

