minor patch
authorMart Lubbers <mart@martlubbers.net>
Thu, 16 Feb 2023 08:22:22 +0000 (09:22 +0100)
committerMart Lubbers <mart@martlubbers.net>
Thu, 16 Feb 2023 08:22:22 +0000 (09:22 +0100)
asbook.tex
preamble/glossaries.tex

index dfd39d1..c84b0a2 100644 (file)
@@ -4,7 +4,7 @@
 \usepackage{pdfpages}
 
 \begin{document}
-\includepdf[landscape,booklet,pages={3-18}]{top/imp.pdf}%chktex 29 chktex 8
+\includepdf[landscape,booklet,pages={1-8}]{top/4iot.pdf}%chktex 29 chktex 8
 %\includepdf[landscape,booklet,pages={69-142}]{thesis.pdf}%chktex 29 chktex 8
 %\includepdf[landscape,booklet,pages={143-184}]{thesis.pdf}%chktex 29 chktex 8
 %\includepdf[landscape,booklet,pages={185-}]{thesis.pdf}%chktex 29 chktex 8
index 722dcb7..661ddc1 100644 (file)
@@ -50,9 +50,9 @@
 \myacronym{DVFS}{dvfs}{dynamic voltage and frequency scaling}
 \myacronym{ECO2}{eCO\textsubscript{2}}{equivalent carbon dioxide}
 \myacronym{EDSL}{edsl}{embedded \glsxtrlong{DSL}}
-\myacronym[prefixfirst={a\ },prefix={an\ }]{FP}{FP}{functional programming}
-\myacronym[prefixfirst={a\ },prefix={an\ }]{FRP}{FRP}{functional reactive programming}
-\myacronym[prefixfirst={a\ },prefix={an\ }]{FPGA}{FPGA}{field-programmable gate array}
+\myacronym[prefixfirst={a\ },prefix={an\ }]{FP}{fp}{functional programming}
+\myacronym[prefixfirst={a\ },prefix={an\ }]{FRP}{frp}{functional reactive programming}
+\myacronym[prefixfirst={a\ },prefix={an\ }]{FPGA}{fpga}{field-programmable gate array}
 \myacronym{GADT}{gadt}{generalised \glsxtrshort{ADT}}
 \myacronym{GHC}{ghc}{Glasgow \gls{HASKELL} Compiler}
 \myacronym{GPIO}{gpio}{general-purpose \glsxtrlong{IO}}
@@ -66,7 +66,7 @@
 \myacronym{IR}{ir}{intermediate representation}
 \myacronym{ISR}{isr}{interrupt service routine}
 \myacronym{LEAN}{lean}{language of East-Anglia and Nijmegen}
-\myacronym[category=noexpand,prefixfirst={a\ },prefix={an\ }]{LED}{LED}{light-emitting diode}
+\myacronym[category=noexpand,prefixfirst={a\ },prefix={an\ }]{LED}{led}{light-emitting diode}
 \myacronym[category=noexpand]{OLED}{oled}{organic \glsxtrshort{LED}}
 \myacronym[category=noexpand]{OS}{os}{operating system}
 \myacronym{OTA}{ota}{over-the-air}