X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=glossaries.tex;h=8b194441455be34b8355610fe6f5635982af06bf;hb=5f23e1fc77da5ea47ca9e1f71f7c2e862e0e0df2;hp=d05ca7072a4e560c649ebcab51edea2ae62e6c7b;hpb=aba35bf19efc06e7d771f2671a89032b7f20aeac;p=msc-thesis1617.git

diff --git a/glossaries.tex b/glossaries.tex
index d05ca70..8b19444 100644
--- a/glossaries.tex
+++ b/glossaries.tex
@@ -12,9 +12,6 @@
 \newglossaryentry{Ivory}{name=Ivory,
 	description={is a type-safe \gls{EDSL} designed to generate \gls{C}-code
 	for high-assurance low-level systems}}
-\newglossaryentry{Tower}{name=Tower,
-	description={is a type-safe \gls{EDSL} similar to \gls{Ivory} designed to
-	generate code for \acrlong{RTOS}}}
 \newglossaryentry{Task}{name=Task,
 	description={is the basic building block of a \acrshort{TOP} system}}
 \newglossaryentry{mTask}{name=mTask,