From 4b4b7c7e548f53b70a2f1826c4404dc945a90b40 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Thu, 1 Jun 2017 15:44:06 +0200 Subject: [PATCH] clean up acronyms and glossaries and make them emphasized" --- acronyms.tex | 36 ++++++++++++++++++------------------ glossaries.tex | 24 ++++++++++++------------ 2 files changed, 30 insertions(+), 30 deletions(-) diff --git a/acronyms.tex b/acronyms.tex index 7da4def..01ac16a 100644 --- a/acronyms.tex +++ b/acronyms.tex @@ -1,18 +1,18 @@ -\newacronym{GADT}{GADT}{Generalized Algebraic Datatype} -\newacronym{GPIO}{GPIO}{General-Purpose Input/Output} -\newacronym{ADT}{ADT}{Algebraic Datatype} -\newacronym{SDS}{SDS}{Shared Data Source} -\newacronym{IoT}{IoT}{Internet of Things} -\newacronym{TOP}{TOP}{Task Oriented Programming} -\newacronym{EDSL}{EDSL}{Embedded Domain Specific Language} -\newacronym{RISC}{RISC}{Reduced Instruction Set Computer} -\newacronym{ARM}{ARM}{Acorn \acrshort{RISC} Machine} -\newacronym{LTN}{LTN}{Low Throughput Network} -\newacronym{IDE}{IDE}{Integrated Development Environment} -\newacronym{TCP}{TCP}{Transmission Control Protocol} -\newacronym{RFID}{RFID}{Radio-Frequency Identification} -\newacronym{GNSS}{GNSS}{Global Navigation SAtellite System} -\newacronym{LCD}{LCD}{Liquid Crystal Display} -\newacronym{AST}{AST}{Abstract Syntax Tree} -\newacronym{GPS}{GPL}{Global Positioning System} -\newacronym{GLONASS}{GLONASS}{Global Navigationo Satellite System} +\newacronym{GADT} {GADT} {Generalized Algebraic Datatype} +\newacronym{GPIO} {GPIO} {General-Purpose Input/Output} +\newacronym{ADT} {ADT} {Algebraic Datatype} +\newacronym{SDS} {SDS} {Shared Data Source} +\newacronym{IoT} {IoT} {Internet of Things} +\newacronym{TOP} {TOP} {Task Oriented Programming} +\newacronym{EDSL} {EDSL} {Embedded Domain Specific Language} +\newacronym{RISC} {RISC} {Reduced Instruction Set Computer} +\newacronym{ARM} {ARM} {Acorn \acrshort{RISC} Machine} +\newacronym{LTN} {LTN} {Low Throughput Network} +\newacronym{IDE} {IDE} {Integrated Development Environment} +\newacronym{TCP} {TCP} {Transmission Control Protocol} +\newacronym{RFID} {RFID} {Radio-Frequency Identification} +\newacronym{GNSS} {GNSS} {Global Navigation SAtellite System} +\newacronym{LCD} {LCD} {Liquid Crystal Display} +\newacronym{AST} {AST} {Abstract Syntax Tree} +\newacronym{GPS} {GPL} {Global Positioning System} +\newacronym{GLONASS}{GLONASS}{Global Navigation Satellite System} diff --git a/glossaries.tex b/glossaries.tex index 8b19444..a13ed34 100644 --- a/glossaries.tex +++ b/glossaries.tex @@ -1,32 +1,32 @@ -\newglossaryentry{Arduino}{name=Arduino, +\newglossaryentry{Arduino}{name=\emph{Arduino}, description={is a cheap and popular microcontroller that is widely used for rapid prototyping}} -\newglossaryentry{Clean}{name=Clean, +\newglossaryentry{Clean}{name={\emph{Clean}}, description={is a staticly typed pure lazy functional programming language based on graph rewriting}} -\newglossaryentry{Haskell}{name=Haskell, +\newglossaryentry{Haskell}{name={\emph{Haskell}}, description={is a staticly typed pure lazy functional programming language}} -\newglossaryentry{iTasks}{name=iTasks, +\newglossaryentry{iTasks}{name=\emph{iTasks}, description={is a \acrshort{TOP} implementation written as a \acrshort{EDSL} in the \gls{Clean} programming language}} -\newglossaryentry{Ivory}{name=Ivory, +\newglossaryentry{Ivory}{name={\emph{Ivory}}, description={is a type-safe \gls{EDSL} designed to generate \gls{C}-code for high-assurance low-level systems}} -\newglossaryentry{Task}{name=Task, +\newglossaryentry{Task}{name=\emph{Task}, description={is the basic building block of a \acrshort{TOP} system}} -\newglossaryentry{mTask}{name=mTask, +\newglossaryentry{mTask}{name=\emph{mTask}, description={is an abstraction for \glspl{Task} living on \acrshort{IoT} devices}} -\newglossaryentry{C}{name=C, +\newglossaryentry{C}{name=\textsc{C}, description={is low-level imperative programming language suitable for embedded devices}} -\newglossaryentry{C++}{name=C++, +\newglossaryentry{C++}{name={\textsc{C++}}, description={is low-level imperative and object-oriented programming language suitable for embedded devices based on \gls{C}}} -\newglossaryentry{SAPL}{name=SAPL, +\newglossaryentry{SAPL}{name={\textsc{SAPL}}, description={is an intermediate purely functional programming language}} -\newglossaryentry{Firmata}{name=Firmata, +\newglossaryentry{Firmata}{name={\emph{Firmata}}, description={is standardized protocol for communicating with microcontrollers}} -\newglossaryentry{Javascript}{name=Javascript, +\newglossaryentry{Javascript}{name={\emph{Javascript}}, description={is an imperative programming language designed to run in web browsers}} -- 2.20.1