From f1f52a38e76ad0c5acfb68b5adf4272a69457197 Mon Sep 17 00:00:00 2001
From: Mart Lubbers <mart@martlubbers.net>
Date: Thu, 16 Feb 2023 09:22:22 +0100
Subject: [PATCH] minor patch

---
 asbook.tex              | 2 +-
 preamble/glossaries.tex | 8 ++++----
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/asbook.tex b/asbook.tex
index dfd39d1..c84b0a2 100644
--- a/asbook.tex
+++ b/asbook.tex
@@ -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
diff --git a/preamble/glossaries.tex b/preamble/glossaries.tex
index 722dcb7..661ddc1 100644
--- a/preamble/glossaries.tex
+++ b/preamble/glossaries.tex
@@ -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}
-- 
2.20.1