Changeset 2801829

Timestamp:

Sep 4, 2020, 1:59:00 PM (4 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

1c507eb, ce55a81, d2bb298

Parents:

843ca9f

Message:

add usepackage{xspace} and usepackage{listings} to common.tex

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}