From 4feac4339a762f5e268a964bf771e5f993573fb7 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Mon, 22 Mar 2021 08:21:51 +0100
Subject: [PATCH] reduce height of Houses.svg

---
 Einstein/Houses.svg                     | 2 +-
 Einstein/Makefile                       | 4 ++--
 Einstein/html/Einstein.tla.html         | 4 ++--
 Einstein/html/einsteins_puzzle.als.html | 4 ++--
 4 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/Einstein/Houses.svg b/Einstein/Houses.svg
index da418fd..4ac2d3a 100644
--- a/Einstein/Houses.svg
+++ b/Einstein/Houses.svg
@@ -1,7 +1,7 @@
 <svg xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
 xmlns:svg="http://www.w3.org/2000/svg"
 xmlns="http://www.w3.org/2000/svg"
-width="1024"   height="512"
+width="1024"   height="300"
 version="1.1"   id="svg2">
 <!-- Source of the House Logo: https://commons.wikimedia.org/wiki/File:Home_Icon.svg -->
 	<g transform="translate(0,44) scale(0.25 0.25)">
diff --git a/Einstein/Makefile b/Einstein/Makefile
index 32f38e3..5278b14 100644
--- a/Einstein/Makefile
+++ b/Einstein/Makefile
@@ -6,7 +6,7 @@ SPEC=einsteins_puzzle.als
 VISBFILE2=Einstein_tla.json
 SPEC2=Einstein.tla
 
-all: html/$(SPEC).html html/$(SPEC2).html
+all: html/$(SPEC).html html/$(SPEC2).html Houses.svg
 	@echo "Generated VisB HTML files in html/"
 
 html/$(SPEC).html: $(SPEC) $(VISBFILE) Makefile
@@ -15,6 +15,6 @@ html/$(SPEC).html: $(SPEC) $(VISBFILE) Makefile
 
 
 
-html/$(SPEC2).html: $(SPEC2) $(VISBFILE2) Makefile
+html/$(SPEC2).html: $(SPEC2) $(VISBFILE2) Makefile Houses.svg
 	@echo "Performing symbolic invariant check on $(SPEC2), generating html/$(SPEC).html"
 	$(PROBCLI) $(SPEC2) -cbc all -visb_with_vars $(VISBFILE2) html/$(SPEC2).html -expecterr cbc
\ No newline at end of file
diff --git a/Einstein/html/Einstein.tla.html b/Einstein/html/Einstein.tla.html
index 8892e71..3fa005b 100644
--- a/Einstein/html/Einstein.tla.html
+++ b/Einstein/html/Einstein.tla.html
@@ -165,7 +165,7 @@
 <svg xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
 xmlns:svg="http://www.w3.org/2000/svg"
 xmlns="http://www.w3.org/2000/svg"
-width="1024"   height="512"
+width="1024"   height="300"
 version="1.1"   id="svg2">
 <!-- Source of the House Logo: https://commons.wikimedia.org/wiki/File:Home_Icon.svg -->
 	<g transform="translate(0,44) scale(0.25 0.25)">
@@ -279,7 +279,7 @@ version="1.1"   id="svg2">
  </div>
  <button type="button" class="collapsible-style">Info</button>
 <div class="coll-content-vis">
-Generated on 22/3/2021 at 8:19 using ProB version 1.11.0-nightly
+Generated on 22/3/2021 at 8:20 using ProB version 1.11.0-nightly
 <br>Main specification file: Einstein.prob
  </table>
  </div>
diff --git a/Einstein/html/einsteins_puzzle.als.html b/Einstein/html/einsteins_puzzle.als.html
index 9107149..9b6484e 100644
--- a/Einstein/html/einsteins_puzzle.als.html
+++ b/Einstein/html/einsteins_puzzle.als.html
@@ -163,7 +163,7 @@
 <svg xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
 xmlns:svg="http://www.w3.org/2000/svg"
 xmlns="http://www.w3.org/2000/svg"
-width="1024"   height="512"
+width="1024"   height="300"
 version="1.1"   id="svg2">
 <!-- Source of the House Logo: https://commons.wikimedia.org/wiki/File:Home_Icon.svg -->
 	<g transform="translate(0,44) scale(0.25 0.25)">
@@ -296,7 +296,7 @@ version="1.1"   id="svg2">
  </div>
  <button type="button" class="collapsible-style">Info</button>
 <div class="coll-content-vis">
-Generated on 22/3/2021 at 8:19 using ProB version 1.11.0-nightly
+Generated on 22/3/2021 at 8:20 using ProB version 1.11.0-nightly
 <br>Main specification file: einsteins_puzzle.als
  </table>
  </div>
-- 
GitLab