Corrected tooltips
Added bitwidth settings and updated IG config
Pulled the latest platform
Specified release date and title function call
Pulled the latest platform
Pulled the latest platform and fixed minor bugs
Pulled the latest platform
Pulled the latest platform
Fixed the bug with error display
Finished setup of ClaferIG
Updated ChocoIg config
Added dependency version display
Added auto-display version in help
Updated the help system
Pulled the latest platform
Pulled the latest platform
Added scope strategy setting forwarding
Added onStart and onStop handlers
IG labels, removed Clafer Model button
revised help pages