From 8dceb5a9feab6f29e04e6a96aee1321c40a617d7 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 28 Apr 2020 20:21:09 +0200
Subject: [PATCH] Revert PDF-export-related changes again for now

The PDF export "works" sometimes with these changes, but the resulting
PDF has missing symbols and other formatting issues. For now it's
better to have the export give an error instead of "succeeding" with a
bad PDF file.
---
 binder/apt.txt                      | 4 ----
 info4/kapitel-0/Logik.ipynb         | 4 +++-
 info4/kapitel-0/Mengentheorie.ipynb | 4 +++-
 3 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/binder/apt.txt b/binder/apt.txt
index 0ee57b9..9d19d52 100644
--- a/binder/apt.txt
+++ b/binder/apt.txt
@@ -1,6 +1,2 @@
 default-jre-headless
 graphviz
-inkscape
-texlive-fonts-recommended
-texlive-generic-extra
-texlive-xetex
diff --git a/info4/kapitel-0/Logik.ipynb b/info4/kapitel-0/Logik.ipynb
index 04aabe9..7ac1ca5 100644
--- a/info4/kapitel-0/Logik.ipynb
+++ b/info4/kapitel-0/Logik.ipynb
@@ -68,7 +68,9 @@
     "\n",
     "\n",
     "Um diese Notebooks zu starten kann man entweder selber Jupyter und den [ProB Kernel](https://gitlab.cs.uni-duesseldorf.de/general/stups/prob2-jupyter-kernel) installieren.\n",
-    "Man kann aber auch die Notebooks vom Browser aus [mit Binder starten](https://mybinder.org/v2/git/https%3A%2F%2Fgitlab.cs.uni-duesseldorf.de%2Fgeneral%2Fstups%2Fprob-teaching-notebooks/master) (das dauert besonders beim ersten Mal etwas länger).\n",
+    "Man kann aber auch die Notebooks vom Browser aus mit Binder starten (das dauert besonders beim ersten Mal etwas länger):\n",
+    "\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 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."
    ]
diff --git a/info4/kapitel-0/Mengentheorie.ipynb b/info4/kapitel-0/Mengentheorie.ipynb
index f761797..cd73a13 100644
--- a/info4/kapitel-0/Mengentheorie.ipynb
+++ b/info4/kapitel-0/Mengentheorie.ipynb
@@ -17,7 +17,9 @@
     "\n",
     "\n",
     "Um dieses Notebook zu starten kann man entweder selber Jupyter und den [ProB Kernel](https://gitlab.cs.uni-duesseldorf.de/general/stups/prob2-jupyter-kernel) installieren.\n",
-    "Man kann aber auch die Notebooks vom Browser aus [mit Binder starten](https://mybinder.org/v2/git/https%3A%2F%2Fgitlab.cs.uni-duesseldorf.de%2Fgeneral%2Fstups%2Fprob-teaching-notebooks/master?filepath=info4%2Fkapitel-0%2FMengentheorie.ipynb) (das dauert besonders beim ersten Mal etwas länger)."
+    "Man kann aber auch die Notebooks vom Browser aus mit Binder starten (das dauert besonders beim ersten Mal etwas länger):\n",
+    "\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?filepath=info4%2Fkapitel-0%2FMengentheorie.ipynb)"
    ]
   },
   {
-- 
GitLab