clean up acronyms and glossaries and make them emphasized"
authorMart Lubbers <mart@martlubbers.net>
Thu, 1 Jun 2017 13:44:06 +0000 (15:44 +0200)
committerMart Lubbers <mart@martlubbers.net>
Thu, 1 Jun 2017 13:44:06 +0000 (15:44 +0200)
acronyms.tex
glossaries.tex

index 7da4def..01ac16a 100644 (file)
@@ -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}
index 8b19444..a13ed34 100644 (file)
@@ -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}}