From 4bfa9ea3894ce1d6276f5ecd33a5a8259c7b7534 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <michael.kohlhase@fau.de> Date: Fri, 5 Jan 2018 11:42:27 +0100 Subject: [PATCH] blank --- resources/arxmliv.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/resources/arxmliv.md b/resources/arxmliv.md index 50570db..29f8508 100644 --- a/resources/arxmliv.md +++ b/resources/arxmliv.md @@ -13,7 +13,7 @@ Part of the [arXMLiv](https://kwarc.info/systems/arXMLiv/) project at the [KWARC The content of this data set is licensed to [SIGMathLing members](/member/) for research and tool development purposes. - Access is restricted to [SIGMathLing members](/member/) under the +blAccess is restricted to [SIGMathLing members](/member/) under the [SIGMathLing Non-Disclosure-Agreement](/nda/) as for most [arXiv](http://arxiv.org) articles, the right of distribution was only given (or assumed) to arXiv itself. -- GitLab