Changeset a752883 for doc

Timestamp:

Mar 22, 2016, 9:47:23 PM (8 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, string, with_gc

Children:

984dce6

Parents:

038726d

Message:

.gitignore all latex auxiliary files, latex changes for refrat

File:

• doc/refrat/refrat.tex (modified) (9 diffs)

doc/refrat/refrat.tex

@@ -17 +17 @@
 \usepackage[dvips,plainpages=false,pdfpagelabels,pdfpagemode=UseNone,colorlinks=true,pagebackref=true,linkcolor=blue,citecolor=blue,urlcolor=blue,pagebackref=true,breaklinks=true]{hyperref}
 \usepackage{breakurl}
-\urlstyle{sf}
+\renewcommand{\UrlFont}{\small\sf}
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@@ -23 +23 @@
 % Names used in the document.
 
-\newcommand{\CFA}{Cforall\xspace}               % set language text name
-\newcommand{\CFAA}{C$\forall$\xspace}   % set language symbolic name
+\newcommand{\CFA}{C$\forall$\xspace}    % set language symbolic name
+\newcommand{\CFL}{Cforall\xspace}               % set language text name
 \newcommand{\CC}{C\kern-.1em\hbox{+\kern-.25em+}\xspace} % CC symbolic name
 \def\c11{ISO/IEC C} % C11 name (cannot have numbers in latex command name)
@@ -33 +33 @@
 
 \makeatletter
+% allow escape sequence in lstinline
+%\usepackage{etoolbox}
+%\patchcmd{\lsthk@TextStyle}{\let\lst@DefEsc\@empty}{}{}{\errmessage{failed to patch}}
+
+\renewcommand\small{%
+   \@setfontsize\small{8.5}{11}%
+   \abovedisplayskip 8.5pt \@plus 3pt \@minus 4pt
+   \abovedisplayshortskip \z@ \@plus 2pt
+   \belowdisplayshortskip 4pt \@plus 2pt \@minus 2pt
+   \def\@listi{\leftmargin\leftmargini
+               \topsep 4pt \@plus 2pt \@minus 2pt
+               \parsep 2pt \@pluspt \@minuspt
+               \itemsep \parsep}%
+   \belowdisplayskip \abovedisplayskip
+}
+\usepackage{relsize}            % must be after change to small
+
 \renewcommand{\labelitemi}{{\raisebox{0.25ex}{\footnotesize$\bullet$}}}
 \renewenvironment{itemize}{\begin{list}{\labelitemi}{\topsep=5pt\itemsep=5pt\parsep=0pt}}{\end{list}}
@@ -59 +76 @@
 \renewcommand\section{\@startsection{section}{1}{\z@}{-3.0ex \@plus -1ex \@minus -.2ex}{1.0ex \@plus .2ex}{\normalfont\large\bfseries}}
 \renewcommand\subsection{\@startsection{subsection}{2}{\z@}{-2.5ex \@plus -1ex \@minus -.2ex}{1.0ex \@plus .2ex}{\normalfont\normalsize\bfseries}}
-\renewcommand\subsubsection{\@startsection{subsubsection}{3}{\z@}{-2.0ex \@plus -1ex \@minus -.2ex}{1.0ex \@plus .2ex}{\normalfont\normalsize\bfseries}}
+\renewcommand\subsubsection{\@startsection{subsubsection}{3}{\z@}{-2.5ex \@plus -1ex \@minus -.2ex}{1.0ex \@plus .2ex}{\normalfont\normalsize\bfseries}}
 \renewcommand\paragraph{\@startsection{paragraph}{4}{\z@}{-2.0ex \@plus -1ex \@minus -.2ex}{-1em}{\normalfont\normalsize\bfseries}}
 
@@ -98 +115 @@
 
 % blocks and titles
-\newcommand{\define}[1]{\emph{#1\/}\index{#1}}
 \newenvironment{rationale}{%
   \begin{quotation}\noindent$\Box$\enspace
@@ -104 +120 @@
   \hfill\enspace$\Box$\end{quotation}
 }%
+\newcommand{\define}[1]{\emph{#1\/}\index{#1}}
 \newcommand{\rewrite}{\(\Rightarrow\)}
 \newcommand{\rewriterules}{\paragraph{Rewrite Rules}~\par\noindent}
@@ -132 +149 @@
 \newcommand{\VPageref}[2][page]{\ifx#1\@empty\else{#1}\nobreakspace\fi\pageref{#2}}
 
-% adjust listings macros
+% CFA based on ANSI C
 \lstdefinelanguage{CFA}[ANSI]{C}%
 {morekeywords={asm,_Alignas,_Alignof,_At,_Atomic,_Bool,catch,catchResume,choose,_Complex,trait,disable,dtype,enable,
@@ -142 +159 @@
 language=CFA,
 columns=flexible,
-basicstyle=\sf\small,
+basicstyle=\sf\relsize{-1},
 tabsize=4,
 xleftmargin=\parindent,
 escapechar=@,
 keepspaces=true,
-%showtabs=true,
-%tab=\rightarrowfill,
+showstringspaces=false,
+showlines=true,
 }%
 
@@ -175 +192 @@
 
 \title{\Huge
-\CFA (\CFAA) Reference Manual and Rationale
+\CFA (\CFL) Reference Manual and Rationale
 }% title
 \author{\huge