DeepaMehta 4.1.1 released

While DeepaMehta 4.1.1 has not much to offer for the end user it brings crucial bug fixes and various enhancements in the Plugin Development Framework. Main features comprise Timestamps (not yet user perceivable) and a new Time API; better performance through exploitation of the browser cache; and Edit Conflict Detection for supporting collaborative work. Furthermore, a new Property API allows attaching arbitrary metadata to topics and associations. Numeric metadata is trie-indexed which allows for performant time- and and geo-based range queries. For a complete list of changes in DM 4.1.1 see the release notes.