From cea910ef90625c27e57d60922b43bc30bbf4954b Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
Date: Wed, 17 Oct 2018 14:40:11 +0200
Subject: [PATCH] add command to start console

---
 Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Makefile b/Makefile
index 6023eba..00c6b64 100644
--- a/Makefile
+++ b/Makefile
@@ -9,6 +9,9 @@ PHOME=/Users/$(USERNAME)/git_root/prob_prolog
 installph:
 	./gradlew -PprobHome=$(PHOME) installKernelSpec
 
+console:
+	jupyter console --kernel prob2
+
 NOTEBOOKS = notebooks/tutorials/prob_solver_intro.ipynb \
                notebooks/manual/ExternalFunctions.ipynb
 latex:
-- 
GitLab