From cb3a405b714ceb0c299dbfb4fe767464e5fd3a8a Mon Sep 17 00:00:00 2001
From: Carlos Olarte <carlos.olarte@gmail.com>
Date: Fri, 19 May 2023 16:55:30 +0200
Subject: [PATCH] Improving Readme

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 06ebe04..d218264 100644
--- a/README.md
+++ b/README.md
@@ -21,8 +21,8 @@ files.
 The specification can be found in the folder `maude`. It includes the following files:
 
 - _alt-smt_: Representation of SMT Boolean, Integer and Real expressions as
-  Maude's terms. SMT variables are encoded as terms of the form bb(x), ii(x)
-  and rr(x) where x is a term of sort SMTVarId. 
+  Maude's terms. SMT variables are encoded as terms of the form `bb(x)`, `ii(x)`
+  and `rr(x)` where `x` is a term of sort `SMTVarId`. 
 - _analysis_: Definition of commands to perform parameter-synthesis and search
   with folding. 
 - _fme_: Implementation of the Fourier–Motzkin elimination procedure. 
-- 
GitLab