From 6cfab2e91e89bcf7f95008c85305bdbcf6f08981 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <m.kohlhase@jacobs-university.de> Date: Sat, 6 May 2017 16:03:35 +0200 Subject: [PATCH] more --- systems/mathhub.md | 2 +- systems/sally.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/systems/mathhub.md b/systems/mathhub.md index 5804d91..8d12817 100644 --- a/systems/mathhub.md +++ b/systems/mathhub.md @@ -2,7 +2,7 @@ layout: system menu_title: MathHub title: MathHub -teaser:A portal for active mathematical documents and an archive for flexiformal mathematics. +teaser: A portal for active mathematical documents and an archive for flexiformal mathematics. start: 2008-08 repository: https://github.com/KWARC/mathhub homepage: http://mathhub.info diff --git a/systems/sally.md b/systems/sally.md index 4c1c8f6..f8fb2d2 100644 --- a/systems/sally.md +++ b/systems/sally.md @@ -2,7 +2,7 @@ layout: system menu_title: Semantic Alliance title: Semantic Alliance -teaser:A framework for mashing up semantic services into desktop applications. +teaser: A framework for mashing up semantic services into desktop applications. repository: https://github.com/KWARC/Sally people: mkohlhase,akohlhase,cjucovschi --- -- GitLab