From 5e22304a58b0a4a9dc140d2eb161f349a8b1a866 Mon Sep 17 00:00:00 2001
From: Roman Venediktov <e2e4b6b7@gmail.com>
Date: Wed, 10 Jul 2024 15:12:54 +0200
Subject: [PATCH] Spec updated

---
 README.md          | 12 +++++++++---
 spec/lama-spec.tex | 12 ------------
 2 files changed, 9 insertions(+), 15 deletions(-)

diff --git a/README.md b/README.md
index 634fb625e..56da3bfa7 100644
--- a/README.md
+++ b/README.md
@@ -45,13 +45,17 @@ Ubuntu-based variant of WSL is recommended.
 
 * System-wide prerequisites:
 
-  - `gcc-multilib`
+  - Linux: `gcc`
 
-    For example, (for Debian-based GNU/Linux):
+    For example, (for Debian-based Linux):
     ```bash
-    sudo apt install gcc-multilib
+    sudo apt install gcc
     ```
 
+  - MacOS: `clang` 
+    
+    Should be automatically installed with developer tools.
+
   - [opam](http://opam.ocaml.org) (>= 2.0.4)
   - [OCaml](http://ocaml.org) (>= 4.10.1). *Optional* because it can be easily installed through opam.
   Compiler variant with `flambda` switch is recommended.
@@ -117,6 +121,8 @@ It should build a local compiler `src/lamac` and a few tutorial executables in `
 
 * Migrated from x86-32 to x86-64 architecture.
 * Added `let ... in ...` construct.
+* Added `-g` mode
+* Changed regex syntax ...
 
 ### Changes in Lama 1.2
 
diff --git a/spec/lama-spec.tex b/spec/lama-spec.tex
index 1a3b95369..879a35bf0 100644
--- a/spec/lama-spec.tex
+++ b/spec/lama-spec.tex
@@ -183,18 +183,6 @@ language=lama
 			Dmitry \textsc{Boulytchev} % Your name
 		\end{flushleft}
 	\end{minipage}
-	%~
-	%\begin{minipage}{0.4\textwidth}
-	%	\begin{flushright}
-	%		\large
-	%		\textit{Supervisor}\\
-	%		Dr. Caroline \textsc{Becker} % Supervisor's name
-	%	\end{flushright}
-	%\end{minipage}
-	
-	% If you don't want a supervisor, uncomment the two lines below and comment the code above
-	%{\large\textit{Author}}\\
-	%John \textsc{Smith} % Your name
 	
 	%------------------------------------------------
 	%	Date