From 0647931ecfe14dce2fd0eb7c87e3ca77ff483dfd Mon Sep 17 00:00:00 2001
From: Pamela Dyer <pamela.dyer@uconn.edu>
Date: Fri, 21 Oct 2022 10:15:47 -0700
Subject: [PATCH] Update models/Application_examples/Euclids_Algorithm.mp

---
 models/Application_examples/Euclids_Algorithm.mp | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/models/Application_examples/Euclids_Algorithm.mp b/models/Application_examples/Euclids_Algorithm.mp
index 64a11d5..0bab3ce 100644
--- a/models/Application_examples/Euclids_Algorithm.mp
+++ b/models/Application_examples/Euclids_Algorithm.mp
@@ -8,7 +8,7 @@
 │*│                                                        │
 │*│ ┌─[ Purpose ]────────────────────────────────────────┐ │
 │*│ │ To use MP to model an adaptation of the well-known │ │
-│*│ │ Greatest Common Divisor Algorithm by Euclid.       │ │
+│*│ │ Greatest Common Divisor (GCD) Algorithm by Euclid. │ │
 │*│ └────────────────────────────────────────────────────┘ │
 │*│                                                        │
 │*│ ┌─[ Description ]────────────────────────────────────┐ │
@@ -21,14 +21,12 @@
 │*│ ┌─[ References ]─────────────────────────────────────┐ │
 │*│ │ Leslie Lamport's Introduction to TLA+              | |
 │*│ │ https://www.newsroom.hlf-foundation.org/newsroom/  | |
-│*│ │ https://www.newsroom.hlf-foundation.org/newsroom/  | |
-|*| | lectures/video/lecture-if-youre-not-writing-a-     | |
-|*| | program-dont-use-a-programming-language.html       | | 
+│*│ │ https://www.newsroom.hlf-foundation.org/newsroom/lectures/video/lecture-if-youre-not-writing-a-program-dont-use-a-programming-language.html
 │*│ └────────────────────────────────────────────────────┘ │
 │*│                                                        │
 │*│ ┌─[ Search Terms ]───────────────────────────────────┐ │
-│*│ │ behavior, Euclid, GCD, Lamport ;                   │ │
-│*│ │ coordination, event; coordination, conditional     │ │
+│*│ │ behavior, Euclid; GCD; Lamport;                    │ │
+│*│ │ coordination, event; ENSURE, conditional           │ │
 │*│ └────────────────────────────────────────────────────┘ │
 │*│                                                        │
 │*│ ┌─[ Instructions ]───────────────────────────────────┐ │
-- 
GitLab