From 1b32ba0fd45cea4cfbbc24a584a9777f08ec5b42 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 5 Jan 2019 16:57:59 +0000
Subject: [PATCH] Removed entry point.

---
 isabelle/Dockerfile | 2 --
 1 file changed, 2 deletions(-)

diff --git a/isabelle/Dockerfile b/isabelle/Dockerfile
index 867d914..b4bbddf 100644
--- a/isabelle/Dockerfile
+++ b/isabelle/Dockerfile
@@ -54,5 +54,3 @@ RUN curl -L -o "Isabelle.tar.gz" "$isabelle" && \
   perl -pi -e 's,ISABELLE_HOME_USER=.*,ISABELLE_HOME_USER="\$USER_HOME/.isabelle",g;' Isabelle/etc/settings && \
   Isabelle/bin/isabelle build -s -b $sessions
 
-ENTRYPOINT ["Isabelle/bin/isabelle"]
-