From: Christiaan Baaij <christiaan.baaij@gmail.com>
Date: Wed, 27 Jan 2010 09:02:46 +0000 (+0100)
Subject: Update VHDL command to use \small instead of \textsc
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fdsd-paper.git;a=commitdiff_plain;h=51fd0a23f92b0dd55761ce960dea5cdff6b7213f

Update VHDL command to use \small instead of \textsc
---

diff --git "a/c\316\273ash.tex" "b/c\316\273ash.tex"
index 8445953..4a917f9 100644
--- "a/c\316\273ash.tex"
+++ "b/c\316\273ash.tex"
@@ -343,8 +343,8 @@
 
 % Macro for certain acronyms in small caps. Doesn't work with the
 % default font, though (it contains no smallcaps it seems).
-\def\VHDL{\textsc{vhdl}}
-\def\GHC{\textsc{ghc}}
+\def\VHDL{{\small{VHDL}}}
+\def\GHC{{\small{GHC}}}
 \def\CLaSH{\textsc{C$\lambda$aSH}}
 
 % Macro for pretty printing haskell snippets. Just monospaced for now, perhaps
@@ -560,7 +560,7 @@ sumif _ _ _ = 0
     are hard to translate (integers without a fixed size, lists without
     a static length, etc.), a number of \quote{built-in} types will be
     defined first. These types are built-in in the sense that our
-    compiler will have a fixed VHDL type for these. User defined types,
+    compiler will have a fixed \VHDL\ type for these. User defined types,
     on the other hand, will have their hardware type derived directly
     from their Haskell declaration automatically, according to the rules
     sketched here.
@@ -602,7 +602,7 @@ sumif _ _ _ = 0
         is the \emph{type level representation} of the decimal number 32,
         making the \hs{Word32} type a 32-bit unsigned word.
 
-        These types are translated to the \small{VHDL} \texttt{unsigned} and
+        These types are translated to the \VHDL\ \texttt{unsigned} and
         \texttt{signed} respectively.
       \item[\hs{Vector}]
         This is a vector type, that can contain elements of any other type and
@@ -654,7 +654,7 @@ sumif _ _ _ = 0
     data-types with the \hs{data} keyword, type synonyms with the \hs{type}
     keyword and type renamings with the \hs{newtype} keyword. \GHC\
     offers a few more advanced ways to introduce types (type families,
-    existential typing, \small{GADT}s, etc.) which are not standard
+    existential typing, {\small{GADT}}s, etc.) which are not standard
     Haskell.  These will be left outside the scope of this research.
 
     Only an algebraic datatype declaration actually introduces a