gsdlab / clafer

Clafer is a lightweight modeling language
http://clafer.org
MIT License
45 stars 13 forks source link

The help message of claferIG does not explain how to change global scope #72

Closed wasowski closed 9 years ago

wasowski commented 9 years ago

The help message of claferIG does not explain how to change global scope (or where to find this kind of info). Probably just a single line telling how you can get help inside IG printed in response to --help or in the IG startup messages would reduce user frustration. It took me some time to go the tools installation and to find the readme files.

mantkiew commented 9 years ago

I reposted to ClaferIG issue.