Changes in / [03b87140:d2bb298]

File:

• doc/LaTeXmacros/common.tex (modified) (3 diffs)

doc/LaTeXmacros/common.tex

@@ -11 +11 @@
 %% Created On       : Sat Apr  9 10:06:17 2016
 %% Last Modified By : Peter A. Buhr
-%% Last Modified On : Fri May 24 07:59:54 2019
-%% Update Count     : 382
+%% Last Modified On : Fri Sep  4 13:56:52 2020
+%% Update Count     : 383
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
@@ -36 +36 @@
 % Names used in the document.
 
+\usepackage{xspace}
 \newcommand{\CFAIcon}{\textsf{C}\raisebox{\depth}{\rotatebox{180}{\textsf{A}}}\xspace} % Cforall symbolic name
 \newcommand{\CFA}{\protect\CFAIcon}             % safe for section/caption
@@ -241 +242 @@
 }%
 
+\usepackage{listings}                                                                   % format program code
 \usepackage{lstlang}