Changeset fbfde843 for doc/LaTeXmacros
- Timestamp:
- May 2, 2016, 3:15:07 PM (9 years ago)
- 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, with_gc
- Children:
- d7903b1
- Parents:
- 540de412 (diff), e945826 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the(diff)
links above to see all the changes relative to each parent. - File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/LaTeXmacros/common.tex
r540de412 rfbfde843 11 11 %% Created On : Sat Apr 9 10:06:17 2016 12 12 %% Last Modified By : Peter A. Buhr 13 %% Last Modified On : Sat Apr 9 10:06:39201614 %% Update Count : 113 %% Last Modified On : Sat Apr 30 13:52:12 2016 14 %% Update Count : 41 15 15 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 16 16 … … 19 19 % Names used in the document. 20 20 21 \newcommand{\CFA}{C$\mathbf\forall$\xspace} 22 \newcommand{\CFL}{Cforall\xspace} 21 \newcommand{\CFA}{C$\mathbf\forall$\xspace} % set language symbolic name 22 \newcommand{\CFL}{Cforall\xspace} % set language text name 23 23 \newcommand{\CC}{C\kern-.1em\hbox{+\kern-.25em+}\xspace} % CC symbolic name 24 24 \def\c11{ISO/IEC C} % C11 name (cannot have numbers in latex command name) … … 43 43 \belowdisplayskip \abovedisplayskip 44 44 } 45 \usepackage{relsize} 45 \usepackage{relsize} % must be after change to small or selects old size 46 46 47 47 % reduce size of chapter/section titles … … 66 66 \vskip 50\p@ 67 67 }} 68 \renewcommand\section{\@startsection{section}{1}{\z@}{-3. 0ex \@plus -1ex \@minus -.2ex}{1.0ex \@plus .2ex}{\normalfont\large\bfseries}}69 \renewcommand\subsection{\@startsection{subsection}{2}{\z@}{- 2.5ex \@plus -1ex \@minus -.2ex}{1.0ex \@plus .2ex}{\normalfont\normalsize\bfseries}}68 \renewcommand\section{\@startsection{section}{1}{\z@}{-3.5ex \@plus -1ex \@minus -.2ex}{2.3ex \@plus .2ex}{\normalfont\large\bfseries}} 69 \renewcommand\subsection{\@startsection{subsection}{2}{\z@}{-3.25ex \@plus -1ex \@minus -.2ex}{1.5ex \@plus .2ex}{\normalfont\normalsize\bfseries}} 70 70 \renewcommand\subsubsection{\@startsection{subsubsection}{3}{\z@}{-2.5ex \@plus -1ex \@minus -.2ex}{1.0ex \@plus .2ex}{\normalfont\normalsize\bfseries}} 71 71 \renewcommand\paragraph{\@startsection{paragraph}{4}{\z@}{-2.0ex \@plus -1ex \@minus -.2ex}{-1em}{\normalfont\normalsize\bfseries}} … … 109 109 \newcommand{\@sIndex}[2][\@empty]{#2\ifx#1\@empty\index{#2}\else\index{#1@{\protect#2}}\fi} 110 110 111 \newcommand{\Indexc}[1]{\lstinline$#1$\index{#1@\lstinline$#1$}} 112 \newcommand{\indexc}[1]{\index{#1@\lstinline$#1$}} 113 111 114 \newcommand{\newtermFontInline}{\emph} 112 115 \newcommand{\newterm}{\@ifstar\@snewterm\@newterm} … … 179 182 fallthru,finally,forall,ftype,_Generic,_Imaginary,inline,__label__,lvalue,_Noreturn,otype,restrict,_Static_assert, 180 183 _Thread_local,throw,throwResume,trait,try,typeof,__typeof,__typeof__,}, 181 moredelim=**[is][\color{red}]{`}{`}, % red highlighting of program text182 184 }% 183 185 … … 186 188 columns=flexible, 187 189 basicstyle=\sf\relsize{-1}, 190 stringstyle=\tt, 188 191 tabsize=4, 189 192 xleftmargin=\parindent, 190 escapechar=@, 193 extendedchars=true, 194 escapechar=§, 191 195 mathescape=true, 192 196 keepspaces=true, 193 197 showstringspaces=false, 194 198 showlines=true, 195 aboveskip=6pt, 196 belowskip=4pt, 197 literate={\\`}{\raisebox{0.3ex}{\ttfamily\upshape \hspace*{-2pt}`}}1, % escape \`, otherwise used for red highlighting 199 aboveskip=4pt, 200 belowskip=2pt, 201 moredelim=**[is][\color{red}]{®}{®}, % red highlighting 202 moredelim=**[is][\color{blue}]{©}{©}, % blue highlighting 203 moredelim=[is][\lstset{keywords={}}]{¶}{¶}, % temporarily turn off keywords 204 % literate={\\`}{\raisebox{0.3ex}{\ttfamily\upshape \hspace*{-2pt}`}}1, % escape \`, otherwise used for red highlighting 198 205 }% 199 206 … … 203 210 \lst@ProcessOther{"22}{\lst@ttfamily{"}{\raisebox{0.3ex}{\ttfamily\upshape "}}} % replace double quote 204 211 \lst@ProcessOther{"27}{\lst@ttfamily{'}{\raisebox{0.3ex}{\ttfamily\upshape '\hspace*{-2pt}}}} % replace single quote 205 \lst@ProcessOther{"2D}{\lst@ttfamily{-}{\t tfamily\upshape -}} % replace minus206 \lst@ProcessOther{"3C}{\lst@ttfamily{<}{\text tt{<}}} % replace less than207 \lst@ProcessOther{"3E}{\lst@ttfamily{ <}{\texttt{>}}} % replace greater than212 \lst@ProcessOther{"2D}{\lst@ttfamily{-}{\textbf{\texttt{-}}}} % replace minus 213 \lst@ProcessOther{"3C}{\lst@ttfamily{<}{\textbf{\texttt{<}}}} % replace less than 214 \lst@ProcessOther{"3E}{\lst@ttfamily{>}{\textbf{\texttt{>}}}} % replace greater than 208 215 \lst@ProcessOther{"5E}{\raisebox{0.4ex}{$\scriptstyle\land\,$}} % replace circumflex 209 216 \lst@ProcessOther{"5F}{\lst@ttfamily{\char95}{{\makebox[1.2ex][c]{\rule{1ex}{0.1ex}}}}} % replace underscore
Note:
See TracChangeset
for help on using the changeset viewer.