http://it-dev.mpiwg-berlin.mpg.de/hg/TripleStoreManager/ en-us TripleStoreManager: bookmarks TripleStoreManager bookmark history