Changeset a752883


Ignore:
Timestamp:
Mar 22, 2016, 9:47:23 PM (6 years ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
aaron-thesis, arm-eh, cleanup-dtors, ctor, deferred_resn, demangler, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, resolv-new, string, with_gc
Children:
984dce6
Parents:
038726d
Message:

.gitignore all latex auxiliary files, latex changes for refrat

Files:
2 edited

Legend:

Unmodified
Added
Removed
  • .gitignore

    r038726d ra752883  
    3030
    3131# generated by latex
    32 doc/refrat/refrat.aux
    33 doc/refrat/refrat.bbl
    34 doc/refrat/refrat.blg
    35 doc/refrat/refrat.brf
    36 doc/refrat/refrat.dvi
    37 doc/refrat/refrat.idx
    38 doc/refrat/refrat.ilg
    39 doc/refrat/refrat.ind
    40 doc/refrat/refrat.log
    41 doc/refrat/refrat.out
    42 doc/refrat/refrat.pdf
    43 doc/refrat/refrat.ps
    44 doc/refrat/refrat.toc
     32*.aux
     33*.bbl
     34*.blg
     35*.brf
     36*.dvi
     37*.idx
     38*.ilg
     39*.ind
     40*.log
     41*.out
     42*.pdf
     43*.ps
     44*.toc
  • doc/refrat/refrat.tex

    r038726d ra752883  
    1717\usepackage[dvips,plainpages=false,pdfpagelabels,pdfpagemode=UseNone,colorlinks=true,pagebackref=true,linkcolor=blue,citecolor=blue,urlcolor=blue,pagebackref=true,breaklinks=true]{hyperref}
    1818\usepackage{breakurl}
    19 \urlstyle{sf}
     19\renewcommand{\UrlFont}{\small\sf}
    2020
    2121%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
     
    2323% Names used in the document.
    2424
    25 \newcommand{\CFA}{Cforall\xspace}               % set language text name
    26 \newcommand{\CFAA}{C$\forall$\xspace}   % set language symbolic name
     25\newcommand{\CFA}{C$\forall$\xspace}    % set language symbolic name
     26\newcommand{\CFL}{Cforall\xspace}               % set language text name
    2727\newcommand{\CC}{C\kern-.1em\hbox{+\kern-.25em+}\xspace} % CC symbolic name
    2828\def\c11{ISO/IEC C} % C11 name (cannot have numbers in latex command name)
     
    3333
    3434\makeatletter
     35% allow escape sequence in lstinline
     36%\usepackage{etoolbox}
     37%\patchcmd{\lsthk@TextStyle}{\let\lst@DefEsc\@empty}{}{}{\errmessage{failed to patch}}
     38
     39\renewcommand\small{%
     40   \@setfontsize\small{8.5}{11}%
     41   \abovedisplayskip 8.5pt \@plus 3pt \@minus 4pt
     42   \abovedisplayshortskip \z@ \@plus 2pt
     43   \belowdisplayshortskip 4pt \@plus 2pt \@minus 2pt
     44   \def\@listi{\leftmargin\leftmargini
     45               \topsep 4pt \@plus 2pt \@minus 2pt
     46               \parsep 2pt \@pluspt \@minuspt
     47               \itemsep \parsep}%
     48   \belowdisplayskip \abovedisplayskip
     49}
     50\usepackage{relsize}            % must be after change to small
     51
    3552\renewcommand{\labelitemi}{{\raisebox{0.25ex}{\footnotesize$\bullet$}}}
    3653\renewenvironment{itemize}{\begin{list}{\labelitemi}{\topsep=5pt\itemsep=5pt\parsep=0pt}}{\end{list}}
     
    5976\renewcommand\section{\@startsection{section}{1}{\z@}{-3.0ex \@plus -1ex \@minus -.2ex}{1.0ex \@plus .2ex}{\normalfont\large\bfseries}}
    6077\renewcommand\subsection{\@startsection{subsection}{2}{\z@}{-2.5ex \@plus -1ex \@minus -.2ex}{1.0ex \@plus .2ex}{\normalfont\normalsize\bfseries}}
    61 \renewcommand\subsubsection{\@startsection{subsubsection}{3}{\z@}{-2.0ex \@plus -1ex \@minus -.2ex}{1.0ex \@plus .2ex}{\normalfont\normalsize\bfseries}}
     78\renewcommand\subsubsection{\@startsection{subsubsection}{3}{\z@}{-2.5ex \@plus -1ex \@minus -.2ex}{1.0ex \@plus .2ex}{\normalfont\normalsize\bfseries}}
    6279\renewcommand\paragraph{\@startsection{paragraph}{4}{\z@}{-2.0ex \@plus -1ex \@minus -.2ex}{-1em}{\normalfont\normalsize\bfseries}}
    6380
     
    98115
    99116% blocks and titles
    100 \newcommand{\define}[1]{\emph{#1\/}\index{#1}}
    101117\newenvironment{rationale}{%
    102118  \begin{quotation}\noindent$\Box$\enspace
     
    104120  \hfill\enspace$\Box$\end{quotation}
    105121}%
     122\newcommand{\define}[1]{\emph{#1\/}\index{#1}}
    106123\newcommand{\rewrite}{\(\Rightarrow\)}
    107124\newcommand{\rewriterules}{\paragraph{Rewrite Rules}~\par\noindent}
     
    132149\newcommand{\VPageref}[2][page]{\ifx#1\@empty\else{#1}\nobreakspace\fi\pageref{#2}}
    133150
    134 % adjust listings macros
     151% CFA based on ANSI C
    135152\lstdefinelanguage{CFA}[ANSI]{C}%
    136153{morekeywords={asm,_Alignas,_Alignof,_At,_Atomic,_Bool,catch,catchResume,choose,_Complex,trait,disable,dtype,enable,
     
    142159language=CFA,
    143160columns=flexible,
    144 basicstyle=\sf\small,
     161basicstyle=\sf\relsize{-1},
    145162tabsize=4,
    146163xleftmargin=\parindent,
    147164escapechar=@,
    148165keepspaces=true,
    149 %showtabs=true,
    150 %tab=\rightarrowfill,
     166showstringspaces=false,
     167showlines=true,
    151168}%
    152169
     
    175192
    176193\title{\Huge
    177 \CFA (\CFAA) Reference Manual and Rationale
     194\CFA (\CFL) Reference Manual and Rationale
    178195}% title
    179196\author{\huge
Note: See TracChangeset for help on using the changeset viewer.