From 94942b71b276b493f22ad1047102df64a0f2f478 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <michael.kohlhase@fau.de> Date: Fri, 6 Apr 2018 11:55:58 +0200 Subject: [PATCH] more kwarc logos --- systems/cpoint.md | 1 + systems/jomdoc.md | 1 + 2 files changed, 2 insertions(+) diff --git a/systems/cpoint.md b/systems/cpoint.md index e915ef8..bd8b74b 100644 --- a/systems/cpoint.md +++ b/systems/cpoint.md @@ -11,6 +11,7 @@ end_date: 2008-04 people: - akohlhase publink: http://kwarc.github.io/bibs/cpoint +logo: public/kwarc_logo.svg --- CPoint is an extension to MS PowerPoint that allows to add and manage semantic annotations in PowerPoint presentations. The system offers various embedded semantic services. diff --git a/systems/jomdoc.md b/systems/jomdoc.md index 0ba5afe..4db51dc 100644 --- a/systems/jomdoc.md +++ b/systems/jomdoc.md @@ -11,6 +11,7 @@ end_date: 2013-12 people: - mkohlhase - nmueller +logo: public/kwarc_logo.svg --- JOMDoc is Java API for OMDoc documents that facilitates the parsing of OMDoc XML documents into a Java data structure, to manipulate them conveniently, and to serialize the result back to XML. The functionality of this library will be superseded by the MMT API in the near future. -- GitLab