From: Mart Lubbers Date: Thu, 16 Feb 2023 08:22:22 +0000 (+0100) Subject: minor patch X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=f1f52a38e76ad0c5acfb68b5adf4272a69457197;p=phd-thesis.git minor patch --- 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}