From 9f6b919b620bbdbdba69698791fedd4742a93d7f Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Sat, 18 Apr 2020 17:13:44 +0200
Subject: [PATCH] add tip about trusted setting for notebooks

---
 README.md                   | 9 ++++++++-
 info4/kapitel-0/Logik.ipynb | 2 +-
 2 files changed, 9 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 32fbed2..29ef479 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,11 @@
 [![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/git/https%3A%2F%2Fgitlab.cs.uni-duesseldorf.de%2Fgeneral%2Fstups%2Fprob-teaching-notebooks/master)
 # Various Notebooks for Teaching
 
-These notebooks are made for the ProB Jupyter kernel.
\ No newline at end of file
+These notebooks are made for the [ProB Jupyter kernel](https://gitlab.cs.uni-duesseldorf.de/general/stups/prob2-jupyter-kernel).
+[ProB](https://www3.hhu.de/stups/prob) is a validation tool for formal methods, in particular for the B method.
+At its heart is a constraint solver for logic, set theory and arithmetic.
+
+
+These notebooks were developed by the [STUPS group](https://www.cs.hhu.de/lehrstuehle-und-arbeitsgruppen/softwaretechnik-und-programmiersprachen.html) of the [University of Düsseldorf](https://www.uni-duesseldorf.de).
+
+To view the formatted output of ProB you may have to click in the upper right corner on "Not Trusted". Once a notebook is trusted, JavaScript is enabled and can render formulas, tables and figures.
\ No newline at end of file
diff --git a/info4/kapitel-0/Logik.ipynb b/info4/kapitel-0/Logik.ipynb
index 046b0db..1655a9d 100644
--- a/info4/kapitel-0/Logik.ipynb
+++ b/info4/kapitel-0/Logik.ipynb
@@ -60,7 +60,7 @@
     "\n",
     "[![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/git/https%3A%2F%2Fgitlab.cs.uni-duesseldorf.de%2Fgeneral%2Fstups%2Fprob-teaching-notebooks/master)\n",
     "\n",
-    "Damit "
+    "Damit Jupyter formattierte Ausgabe für Formeln und Tabellen zulässt muss rechts oben in der Menuleiste auf \"Not Trusted\" drücken. Wenn das Notebook als \"Trusted\" markiert ist wird JavaScript aktiviert und die Ausgabe wird besser ausgegeben."
    ]
   },
   {
-- 
GitLab