From 02e4f5ef191fd32edbb5ca270da4fc1629d3660a Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Mon, 13 Jun 2016 11:03:58 +0200
Subject: [PATCH] draining
---
conclusion.tex | 5 +++++
report.toc | 4 ++--
2 files changed, 7 insertions(+), 2 deletions(-)
diff --git a/conclusion.tex b/conclusion.tex
index 543830f..0c1987f 100644
--- a/conclusion.tex
+++ b/conclusion.tex
@@ -9,6 +9,11 @@ the VRE more natural to mathematicians who have little experience with symbolic
computation tools, as they naturally have experiences with paper articles and textbooks
from their studies.
+The survey and outlook provided by this report will be used as a basis for the discussion
+of an integrated user interface and in the \pn project (WP4). As integration of knowledge
+and computation (and interoperability between the various system involved) is a central
+theme of WP6, this will require interaction between the work packages.
+
\subsection*{Acknowledgements} The authors are grateful to Min RK from Simula for
discussions on the inner workings of Jupyter and help with initial experiments with
setting up a a MMT kernel for Jupyter. Florian Rabe, Dan Alistarh, and Tom Wiesing have
diff --git a/report.toc b/report.toc
index db3ddaf..b33da79 100644
--- a/report.toc
+++ b/report.toc
@@ -2,7 +2,7 @@
\defcounter {refsection}{0}\relax
\contentsline {section}{\tocsection {}{1}{Introduction}}{3}{section.1}
\defcounter {refsection}{0}\relax
-\contentsline {section}{\tocsection {}{2}{Jupyther}}{4}{section.2}
+\contentsline {section}{\tocsection {}{2}{Jupyter}}{4}{section.2}
\defcounter {refsection}{0}\relax
\contentsline {subsection}{\tocsubsection {}{2.1}{Introduction}}{4}{subsection.2.1}
\defcounter {refsection}{0}\relax
@@ -26,7 +26,7 @@
\defcounter {refsection}{0}\relax
\contentsline {subsubsection}{\tocsubsubsection {}{2.3.5}{File Editor }}{7}{subsubsection.2.3.5}
\defcounter {refsection}{0}\relax
-\contentsline {subsection}{\tocsubsection {}{2.4}{Future Plans for Jupyther}}{7}{subsection.2.4}
+\contentsline {subsection}{\tocsubsection {}{2.4}{Future Plans for Jupyter}}{7}{subsection.2.4}
\defcounter {refsection}{0}\relax
\contentsline {subsubsection}{\tocsubsubsection {}{2.4.1}{Embracing web standards}}{8}{subsubsection.2.4.1}
\defcounter {refsection}{0}\relax
--
GitLab