unify msw:Type object instances
Merge branch 'devel_uniqtype' into devel
add reasoning rules that should infer that Java...
repository store web interface
Merge remote-tracking branch 'origin/devel'
store fix
add SoftwareEntity type for javascript functions
Merge remote-tracking branch 'origin/devel'