Homec4science

Merge branch 'master' of bitbucket.org:specmicp/specmicp

Authored by georget on Aug 30 2016, 19:37.

Description

Merge branch 'master' of bitbucket.org:specmicp/specmicp

Merged Changes

CommitAuthorDetailsCommitted
5f2ae1e8386egeorget
minor:fix:analyser:short_iter 
Aug 8 2016
e5d9004355dageorget
analyser:short_iter minor fix + install script 
Aug 8 2016