Index: doc/LaTeXmacros/common.tex
===================================================================
--- doc/LaTeXmacros/common.tex	(revision 7d94d805fda9a7adff66f41535cded2b01ce85e4)
+++ doc/LaTeXmacros/common.tex	(revision 539cdfe822856658bb7fc3022d09a4d0d0a1ef85)
@@ -11,6 +11,6 @@
 %% Created On       : Sat Apr  9 10:06:17 2016
 %% Last Modified By : Peter A. Buhr
-%% Last Modified On : Wed Jan 31 23:10:28 2018
-%% Update Count     : 364
+%% Last Modified On : Sun Feb  4 10:38:26 2018
+%% Update Count     : 365
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
@@ -37,5 +37,5 @@
 
 \newcommand{\CFAIcon}{\textsf{C}\raisebox{\depth}{\rotatebox{180}{\textsf{A}}}\xspace} % Cforall symbolic name
-\newcommand{\CFA}{\protect\CFAIcon} % safe for section/caption
+\newcommand{\CFA}{\protect\CFAIcon}		% safe for section/caption
 \newcommand{\CFL}{\textrm{Cforall}\xspace} % Cforall symbolic name
 \newcommand{\Celeven}{\textrm{C11}\xspace} % C11 symbolic name
@@ -147,5 +147,5 @@
 
 % Latin abbreviation
-\newcommand{\abbrevFont}{\textit}	% set empty for no italics
+\newcommand{\abbrevFont}{\textit}		% set empty for no italics
 \newcommand{\EG}{\abbrevFont{e}.\abbrevFont{g}.}
 \newcommand*{\eg}{%
@@ -215,5 +215,5 @@
 \newcommand{\opt}{$_{opt}$\ }
 
-\usepackage{varioref}                 % extended references
+\usepackage{varioref}					% extended references
 % adjust varioref package with default "section" and "page" titles, and optional title with faraway page numbers
 % \VRef{label} => Section 2.7, \VPageref{label} => page 17
@@ -241,15 +241,15 @@
 language=CFA,
 columns=fullflexible,
-basicstyle=\linespread{0.9}\sf,							% reduce line spacing and use sanserif font
-stringstyle=\tt,										% use typewriter font
-tabsize=5,												% N space tabbing
-xleftmargin=\parindentlnth,								% indent code to paragraph indentation
-extendedchars=true,										% allow ASCII characters in the range 128-255
-escapechar=§,											% LaTeX escape in CFA code §...§ (section symbol), emacs: C-q M-'
-mathescape=true,										% LaTeX math escape in CFA code $...$
-keepspaces=true,										%
-showstringspaces=false,									% do not show spaces with cup
-showlines=true,											% show blank lines at end of code
-aboveskip=4pt,											% spacing above/below code block
+basicstyle=\linespread{0.9}\sf,			% reduce line spacing and use sanserif font
+stringstyle=\tt,						% use typewriter font
+tabsize=5,								% N space tabbing
+xleftmargin=\parindentlnth,				% indent code to paragraph indentation
+extendedchars=true,						% allow ASCII characters in the range 128-255
+escapechar=§,							% LaTeX escape in CFA code §...§ (section symbol), emacs: C-q M-'
+mathescape=true,						% LaTeX math escape in CFA code $...$
+keepspaces=true,						%
+showstringspaces=false,					% do not show spaces with cup
+showlines=true,							% show blank lines at end of code
+aboveskip=4pt,							% spacing above/below code block
 belowskip=3pt,
 % replace/adjust listing characters that look bad in sanserif
@@ -257,8 +257,8 @@
 	{~}{\raisebox{0.3ex}{$\scriptstyle\sim\,$}}1 {`}{\ttfamily\upshape\hspace*{-0.1ex}`}1
 	{<-}{$\leftarrow$}2 {=>}{$\Rightarrow$}2 {->}{\makebox[1ex][c]{\raisebox{0.4ex}{\rule{0.8ex}{0.075ex}}}\kern-0.2ex\textgreater}2,
-moredelim=**[is][\color{red}]{®}{®},					% red highlighting ®...® (registered trademark symbol) emacs: C-q M-.
-moredelim=**[is][\color{blue}]{ß}{ß},					% blue highlighting ß...ß (sharp s symbol) emacs: C-q M-_
-moredelim=**[is][\color{OliveGreen}]{¢}{¢}, 			% green highlighting ¢...¢ (cent symbol) emacs: C-q M-"
-moredelim=[is][\lstset{keywords={}}]{¶}{¶}, 			% keyword escape ¶...¶ (pilcrow symbol) emacs: C-q M-^
+moredelim=**[is][\color{red}]{®}{®},	% red highlighting ®...® (registered trademark symbol) emacs: C-q M-.
+moredelim=**[is][\color{blue}]{ß}{ß},	% blue highlighting ß...ß (sharp s symbol) emacs: C-q M-_
+moredelim=**[is][\color{OliveGreen}]{¢}{¢}, % green highlighting ¢...¢ (cent symbol) emacs: C-q M-"
+moredelim=[is][\lstset{keywords={}}]{¶}{¶}, % keyword escape ¶...¶ (pilcrow symbol) emacs: C-q M-^
 }% lstset
 }% CFADefaults
@@ -266,5 +266,5 @@
 \CFADefaults
 % inline code ©...© (copyright symbol) emacs: C-q M-)
-\lstMakeShortInline©									% single-character for \lstinline
+\lstMakeShortInline©					% single-character for \lstinline
 }% CFAStyle