From 3e9d09d74480152c63bdcffd09bf043ec89b2a84 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <m.kohlhase@jacobs-university.de> Date: Mon, 9 Oct 2017 07:02:03 +0200 Subject: [PATCH] new --- development.md | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 development.md diff --git a/development.md b/development.md new file mode 100644 index 0000000..b865b2d --- /dev/null +++ b/development.md @@ -0,0 +1,16 @@ +--- +layout: page +title: SIGMathLing Development +--- + +The development of the [SIGMathLing services](/services/) is a community effort. + +Developers include + +* Michael Kohlhase (FAU Erlangen-Nürnberg) +* Deyan Ginev (Authorea) + +We will set up a developer's mailing list shortly. + + + -- GitLab