From a7e519af16b4e5eab8f335e29ac7e432647f5208 Mon Sep 17 00:00:00 2001
From: Guzman Llambias <gllambi@fing.edu.uy>
Date: Wed, 10 Apr 2024 17:51:32 -0300
Subject: [PATCH] Replace gateway-history.html

---
 gateway-prob-animation/abstract-machine/gateway-history.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gateway-prob-animation/abstract-machine/gateway-history.html b/gateway-prob-animation/abstract-machine/gateway-history.html
index fb275ff..3b8f3ff 100644
--- a/gateway-prob-animation/abstract-machine/gateway-history.html
+++ b/gateway-prob-animation/abstract-machine/gateway-history.html
@@ -758,7 +758,7 @@
  </div>
  <button type="button" class="collapsible-style">Info</button>
 <div class="coll-content-vis visb-messages">
-Generated on 6/4/2024 at 19:46 using ProB version 1.12.2-final
+Generated on 10/4/2024 at 17:50 using ProB version 1.12.2-final
 <br>Main specification package: event_b_project
 <br>Main specification name: CCTx_Abstract_Animation_m2
 <br>Main VisB JSON file: gateway-vis-file.json (modified on 6/4/2024 at 19:41)
-- 
GitLab