From eb392b7d2237c711ee343c4d253cca9d0455c33a Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Sun, 12 Jun 2016 17:51:29 +0200
Subject: [PATCH] correcting jupyter

---
 Comparison.tex | 13 +++++++------
 abstract.tex   |  2 +-
 conclusion.tex |  8 ++++----
 intro.tex      |  4 ++--
 jupyter.tex    | 12 ++++++------
 report.toc     |  2 +-
 rest.bib       |  8 ++++----
 7 files changed, 25 insertions(+), 24 deletions(-)

diff --git a/Comparison.tex b/Comparison.tex
index dd78ee3..7ce0644 100644
--- a/Comparison.tex
+++ b/Comparison.tex
@@ -54,6 +54,11 @@ On \emph{the computational side}, it combines
 Note that all of these need to share a notion of ``mathematical state'' so that the user
 interface can present a consistent view to the user.
 
+\begin{figure}[ht]
+  \input{Syntesis}
+  \caption{Jupyter combined with Active Documents}\label{fig:graph4}
+\end{figure}
+
 The new player process relies on the availability of three ``declarative compondens'' that
 also need to be in a consistent representation. 
 \begin{compactenum}
@@ -61,12 +66,8 @@ also need to be in a consistent representation.
 \item theory-graph shaped content representations, and 
 \item engine-specific code 
 \end{compactenum}
-These tri-partite representations 
-
-\begin{figure}[ht]
-  \input{Syntesis}
-  \caption{Jupyter combined with Active Documents}\label{fig:graph4}
-\end{figure}
+We will call these tri-partite representations that combine the parts of Jupyter notebooks
+and OMDoc documents \textbf{OpenDreamKit Notebooks}.
 
 
 
diff --git a/abstract.tex b/abstract.tex
index 4c781b2..1ca1ad3 100644
--- a/abstract.tex
+++ b/abstract.tex
@@ -7,7 +7,7 @@
   mathematical software system and the latter make semantically annotated documents
   semantic. 
 
-  We report on two systems in the \pn project: Jupyther -- a notebook server for various
+  We report on two systems in the \pn project: Jupyter -- a notebook server for various
   kernels, and MathHub.info -- a platform for active mathematical documents. We identify
   commonalities and differences and develop a vision for integrating their
   functionalitities.
diff --git a/conclusion.tex b/conclusion.tex
index cbe479c..543830f 100644
--- a/conclusion.tex
+++ b/conclusion.tex
@@ -1,5 +1,5 @@
 \section{Conclusion}\label{sec:concl}
-We have surveyed the two document-formed user interfaces in the \pn project: Jupyther
+We have surveyed the two document-formed user interfaces in the \pn project: Jupyter
 Notebooks and Active Documents and developed a joint perspective on them that allows us to
 propose a joint generalization oft the functionalities combines their respetive
 advantages. We feel that embedding computations in arbitrary places in traditional
@@ -10,9 +10,9 @@ computation tools, as they naturally have experiences with paper articles and te
 from their studies.
 
 \subsection*{Acknowledgements} The authors are grateful to Min RK from Simula for
-discussions on the inner workings of Jupyther and help with initial experiments with
-setting up a a MMT kernel for Jupyther. Florian Rabe, Dan Alistarh, and Tom Wiesing have
-worked on an initial integration of MMT with Jupyther that shaped and validated the vision
+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
+worked on an initial integration of MMT with Jupyter that shaped and validated the vision
 for an integrated user interface for the \pn VRE formulated in this report. Discussions
 with Nicolas Thierry have refined the ideas presented here.
 
diff --git a/intro.tex b/intro.tex
index 79999f2..b8a37c1 100644
--- a/intro.tex
+++ b/intro.tex
@@ -8,12 +8,12 @@ allow mathematical text around the computation cells of a real-eval-print loop o
 mathematical software system and the latter make semantically annotated documents
 semantic.
   
-We report on two systems in the \pn project: Jupyther\cite{jupyther-project:on} -- a
+We report on two systems in the \pn project: Jupyter\cite{jupyter-project:on} -- a
 notebook server for various kernels, and MathHub.info -- a platform for active
 mathematical documents. We identify commonalities and differences and develop a vision for
 integrating their functionalitities.
   
-The report is organized as follows: Sections~\ref{sec:jupyther} and~\ref{sec:active}
+The report is organized as follows: Sections~\ref{sec:jupyter} and~\ref{sec:active}
 introduce the two systems individually. Section~\ref{sec:comparison} relates them under a
 common perspective and uses that to develop a vison of a joint generalization that
 combines the advantages. Section~\ref{sec:concl} concludes the report.
diff --git a/jupyter.tex b/jupyter.tex
index 1b5317a..6cd0b59 100644
--- a/jupyter.tex
+++ b/jupyter.tex
@@ -1,10 +1,10 @@
-\section{Jupyther}\label{sec:jupyther}
+\section{Jupyter}\label{sec:jupyter}
 
 \subsection{Introduction}
 
-Project Jupyter~\cite{jupyther-project:on,jupyther-doc:on,jupyther-git:on} aims to support
+Project Jupyter~\cite{jupyter-project:on,jupyter-doc:on,jupyter-git:on} aims to support
 interactive data science and scientific computing across all programming languages. The
-notebook~\cite{jupyther-notebook:on} extends the console-based approach to interactive
+notebook~\cite{jupyter-notebook:on} extends the console-based approach to interactive
 computing in a qualitatively new direction, providing a web-based application suitable for
 capturing the whole computation process: developing, documenting, and executing code, as
 well as communicating the results. The Jupyter notebook combines two components:
@@ -16,7 +16,7 @@ well as communicating the results. The Jupyter notebook combines two components:
   and rich media representations of objects.
 \end{enumerate}
 \cite{juplit:on} gives an overview over the best practices for writing (and using)
-Jupyther notebooks.
+Jupyter notebooks.
 
 \subsection{What is there?}\label{sec:intro}
 
@@ -144,7 +144,7 @@ implementation uses the ZeroMQ library for messaging within and between hosts.
 \begin{figure}[ht]
   \centering
   \includegraphics[width=.7\textwidth]{KernelCommunication}
-  \caption{The basic design explained}\label{fig:jupytherkernel}
+  \caption{The basic design explained}\label{fig:jupyterkernel}
 \end{figure} 
 
 A single kernel can be simultaneously connected to one or more frontends. The kernel has
@@ -226,7 +226,7 @@ interface. When the cell is in command mode, there is no icon in that location.
 Now let’s say that the user has chosen to open a Markdown file instead of a Notebook file whilst
 in the Notebook Dashboard. If so, the file will be opened in the File Editor.
 
-\subsection{Future Plans for Jupyther}
+\subsection{Future Plans for Jupyter}
 
 \subsubsection{Embracing web standards}
 By being a pure web application using HTML, Javascript, and CSS, the Notebook can get all
diff --git a/report.toc b/report.toc
index d55d30f..db3ddaf 100644
--- a/report.toc
+++ b/report.toc
@@ -50,7 +50,7 @@
 \defcounter {refsection}{0}\relax 
 \contentsline {subsection}{\tocsubsection {}{3.6}{Conclusion}}{14}{subsection.3.6}
 \defcounter {refsection}{0}\relax 
-\contentsline {section}{\tocsection {}{4}{A Joint Perspective and Generalization of Jupyther and Active Documents}}{16}{section.4}
+\contentsline {section}{\tocsection {}{4}{A Joint Perspective and Generalization of Jupyter and Active Documents}}{16}{section.4}
 \defcounter {refsection}{0}\relax 
 \contentsline {section}{\tocsection {}{5}{Conclusion}}{18}{section.5}
 \defcounter {refsection}{0}\relax 
diff --git a/rest.bib b/rest.bib
index 3979e2e..230a2fc 100644
--- a/rest.bib
+++ b/rest.bib
@@ -1,21 +1,21 @@
 %% put the new stuff there
 
-@online{jupyther-project:on,
+@online{jupyter-project:on,
   label = {Jup},
   title = {Project Jupyter},
   url = {http://www.jupyter.org}}
 
-@online{jupyther-doc:on,
+@online{jupyter-doc:on,
   label = {JupDoc},
   title = {What is Jupyter},
   url = {http://jupyter-notebook-beginner-guide.readthedocs.org/en/latest/what_is_jupyter.html}}
 
-@online{jupyther-notebook:on,
+@online{jupyter-notebook:on,
   label = {JupNotebook},
   title = {Jupyter Notebook},
   url = {http://jupyter-notebook.readthedocs.org/en/latest/notebook.html#notebook-documents}}
 
-@online{jupyther-git:on,
+@online{jupyter-git:on,
   label = {JupGit},
   title = {Git Repository Jupyter},
   url = {https://github.com/jupyter}}
-- 
GitLab