Merge pull request #50 from inpefess/update-examples

Update examples
inpefess · Aug 30, 2022 · 263d327 · 263d327
2 parents 84e11cf + 33f66a2
commit 263d327
Show file tree

Hide file tree

Showing 7 changed files with 953 additions and 110 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -11,7 +11,7 @@ RUN adduser --disabled-password \
     --uid ${NB_UID} \
     ${NB_USER}
 RUN apt-get update
-RUN apt-get install -y python3-pip
+RUN apt-get install -y python3-pip netcat
 ENV HOME /home/${NB_USER}
 ENV ISABELLE_BIN /home/isabelle/Isabelle/bin/
 ENV PATH=${HOME}/.local/bin/:${ISABELLE_BIN}:${PATH}

diff --git a/doc/source/conf.py b/doc/source/conf.py
@@ -19,7 +19,7 @@
 
 sys.path.insert(0, os.path.abspath("../.."))
 project = "isabelle-client"
-version = "0.3.7"
+version = "0.3.8"
 copyright = "2021-2022, Boris Shminke"
 author = "Boris Shminke"
 extensions = ["sphinx.ext.autodoc", "sphinx.ext.coverage"]