update ivona license info
Merge branch 'develop' of https://github.com/always-on/always into develop
dos2unix
dos2unix
dos2unix
Add src reference
owlapiv3-no-PelletReasoner
Normal session end via "I'm done"
Suppress error message
update doc
Merge remote-tracking branch 'upstream/develop' into develop