From 8f3ffe52757ea8bd25971cbb199b0c3dc6d0ca91 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Wed, 20 May 2020 11:28:30 +0200
Subject: [PATCH] comment out preferences not yet available in 1.2.0 kernel
---
info4/kapitel-2/Minimalautomat.ipynb | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/info4/kapitel-2/Minimalautomat.ipynb b/info4/kapitel-2/Minimalautomat.ipynb
index 0f0f119..f776b2a 100644
--- a/info4/kapitel-2/Minimalautomat.ipynb
+++ b/info4/kapitel-2/Minimalautomat.ipynb
@@ -55,8 +55,8 @@
" (z3,0)↦z3, (z3,1)↦z3,\n",
" (z4,0)↦z4, (z4,1)↦z4 }\n",
"DEFINITIONS\n",
- " SET_PREF_DOT_HORIZONTAL_LAYOUT==TRUE;\n",
- " SET_PREF_DOT_LIMIT_PAGE_SIZE==FALSE;\n",
+ " //SET_PREF_DOT_HORIZONTAL_LAYOUT==TRUE;\n",
+ " //SET_PREF_DOT_LIMIT_PAGE_SIZE==FALSE;\n",
" CUSTOM_GRAPH_NODES1 == rec(shape:\"doublecircle\",nodes:F);\n",
" CUSTOM_GRAPH_NODES2 == rec(shape:\"circle\",nodes:Z\\F);\n",
" CUSTOM_GRAPH_NODES3 == rec(shape:\"none\",color:\"white\",style:\"none\",nodes:{\"\"});\n",
@@ -281,8 +281,8 @@
" markiert := {}\n",
" END\n",
"DEFINITIONS\n",
- " SET_PREF_DOT_HORIZONTAL_LAYOUT==TRUE;\n",
- " SET_PREF_DOT_LIMIT_PAGE_SIZE==FALSE;\n",
+ " //SET_PREF_DOT_HORIZONTAL_LAYOUT==TRUE;\n",
+ " //SET_PREF_DOT_LIMIT_PAGE_SIZE==FALSE;\n",
" CUSTOM_GRAPH_NODES1 == rec(shape:\"doublecircle\",nodes:F);\n",
" CUSTOM_GRAPH_NODES2 == rec(shape:\"circle\",nodes:Z\\F);\n",
" CUSTOM_GRAPH_NODES3 == rec(shape:\"none\",color:\"white\",style:\"none\",nodes:{\"\"});\n",
--
GitLab