Changeset c45170a for doc/LaTeXmacros/common.tex
- Timestamp:
- Aug 1, 2016, 9:00:59 AM (7 years ago)
- Branches:
- ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, 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:
- 182fe1e
- Parents:
- 057b34f
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/LaTeXmacros/common.tex
r057b34f rc45170a 11 11 %% Created On : Sat Apr 9 10:06:17 2016 12 12 %% Last Modified By : Peter A. Buhr 13 %% Last Modified On : Tue Jul 12 20:37:57 201614 %% Update Count : 2 0613 %% Last Modified On : Mon Aug 1 08:57:17 2016 14 %% Update Count : 223 15 15 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 16 16 … … 19 19 \setlength{\textheight}{9in} 20 20 %\oddsidemargin 0.0in 21 \renewcommand{\topfraction}{0.8} % float must be greater than X of the page before it is forced onto its own page22 \renewcommand{\bottomfraction}{0.8} % float must be greater than X of the page before it is forced onto its own page21 \renewcommand{\topfraction}{0.8} % float must be greater than X of the page before it is forced onto its own page 22 \renewcommand{\bottomfraction}{0.8} % float must be greater than X of the page before it is forced onto its own page 23 23 \renewcommand{\floatpagefraction}{0.8} % float must be greater than X of the page before it is forced onto its own page 24 \renewcommand{\textfraction}{0.0} % the entire page maybe devoted to floats with no text on the page at all25 26 \lefthyphenmin=4 24 \renewcommand{\textfraction}{0.0} % the entire page maybe devoted to floats with no text on the page at all 25 26 \lefthyphenmin=4 % hyphen only after 4 characters 27 27 \righthyphenmin=4 28 28 … … 38 38 % Names used in the document. 39 39 40 \newcommand{\CFA}{C$\mathbf\forall$\xspace} 41 \newcommand{\CFL}{Cforall\xspace} 40 \newcommand{\CFA}{C$\mathbf\forall$\xspace} % set language symbolic name 41 \newcommand{\CFL}{Cforall\xspace} % set language text name 42 42 \newcommand{\CC}{\rm C\kern-.1em\hbox{+\kern-.25em+}\xspace} % CC symbolic name 43 43 \newcommand{\CCeleven}{\rm C\kern-.1em\hbox{+\kern-.25em+}11\xspace} % C++11 symbolic name 44 \def\c11{ISO/IEC C} 44 \def\c11{ISO/IEC C} % C11 name (cannot have numbers in latex command name) 45 45 46 46 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% … … 52 52 \setlength{\parindentlnth}{\parindent} 53 53 54 \newlength{\gcolumnposn} 54 \newlength{\gcolumnposn} % temporary hack because lstlisting does handle tabs correctly 55 55 \newlength{\columnposn} 56 56 \setlength{\gcolumnposn}{2.5in} … … 63 63 %\patchcmd{\lsthk@TextStyle}{\let\lst@DefEsc\@empty}{}{}{\errmessage{failed to patch}} 64 64 65 \usepackage{pslatex} 66 \usepackage{relsize} 65 \usepackage{pslatex} % reduce size of san serif font 66 \usepackage{relsize} % must be after change to small or selects old size 67 67 68 68 % reduce size of chapter/section titles … … 120 120 121 121 % inline text and lowercase index: \Index{inline and lowercase index text} 122 \newcommand{\Index}{\@ifstar\@sIndex\@Index} 122 123 % inline text and as-in index: \Index[as-is index text]{inline text} 124 \newcommand{\@Index}[2][\@empty]{\lowercase{\def\temp{#2}}#2\ifx#1\@empty\index{\temp}\else\index{#1@{\protect#2}}\fi} 123 125 % inline text but index with different as-is text: \Index[index text]{inline text} 124 \newcommand{\Index}{\@ifstar\@sIndex\@Index}125 \newcommand{\@Index}[2][\@empty]{\lowercase{\def\temp{#2}}#2\ifx#1\@empty\index{\temp}\else\index{#1@{\protect#2}}\fi}126 126 \newcommand{\@sIndex}[2][\@empty]{#2\ifx#1\@empty\index{#2}\else\index{#1@{\protect#2}}\fi} 127 127 128 % cannot use ©128 % inline text and code index (cannot use ©) 129 129 \newcommand{\Indexc}[1]{\lstinline$#1$\index{#1@\lstinline$#1$}} 130 % code index (cannot use ©) 130 131 \newcommand{\indexc}[1]{\index{#1@\lstinline$#1$}} 131 132 … … 137 138 \newcommand{\@newterm}[2][\@empty]{\lowercase{\def\temp{#2}}{\newtermFontInline{#2}}\ifx#1\@empty\index{\temp}\else\index{#1@{\protect#2}}\fi} 138 139 \newcommand{\@snewterm}[2][\@empty]{{\newtermFontInline{#2}}\ifx#1\@empty\index{#2}\else\index{#1@{\protect#2}}\fi} 140 141 % Latin abbreviation 142 \newcommand{\abbrevFont}{\textit} % set empty for no italics 143 \newcommand*{\eg}{% 144 \@ifnextchar{,}{\abbrevFont{e}.\abbrevFont{g}.}% 145 {\@ifnextchar{:}{\abbrevFont{e}.\abbrevFont{g}.}% 146 {\abbrevFont{e}.\abbrevFont{g}.,\xspace}}% 147 }% 148 \newcommand*{\ie}{% 149 \@ifnextchar{,}{\abbrevFont{i}.\abbrevFont{e}.}% 150 {\@ifnextchar{:}{\abbrevFont{i}.\abbrevFont{e}.}% 151 {\abbrevFont{i}.\abbrevFont{e}.,\xspace}}% 152 }% 153 \newcommand*{\etc}{% 154 \@ifnextchar{.}{\abbrevFont{etc}}% 155 {\abbrevFont{etc}.\xspace}% 156 }% 139 157 \makeatother 140 158 … … 145 163 \endlist 146 164 }% quote2 165 147 166 \newenvironment{rationale}{% 148 167 \begin{quote2}\noindent$\Box$\enspace … … 188 207 \newcommand{\VPageref}[2][page]{\ifx#1\@empty\else{#1}\nobreakspace\fi\pageref{#2}} 189 208 190 % Go programming language 209 % Go programming language: https://github.com/julienc91/listings-golang/blob/master/listings-golang.sty 191 210 \lstdefinelanguage{Golang}{ 192 211 morekeywords=[1]{package,import,func,type,struct,return,defer,panic, recover,select,var,const,iota,},% … … 204 223 } 205 224 206 % CFA programming language, based on ANSI C 225 % CFA programming language, based on ANSI C (with some gcc additions) 207 226 \lstdefinelanguage{CFA}[ANSI]{C}{ 208 227 morekeywords={_Alignas,_Alignof,__alignof,__alignof__,asm,__asm,__asm__,_At,_Atomic,__attribute,__attribute__,auto, … … 215 234 language=CFA, 216 235 columns=fullflexible, 217 basicstyle=\linespread{0.9}\sf, 218 stringstyle=\tt, 219 tabsize=4, 220 xleftmargin=\parindentlnth, 221 extendedchars=true, 222 escapechar=§, 223 mathescape=true, 224 keepspaces=true, 225 showstringspaces=false, 226 showlines=true, 227 aboveskip=4pt, 236 basicstyle=\linespread{0.9}\sf, % reduce line spacing and use sanserif font 237 stringstyle=\tt, % use typewriter font 238 tabsize=4, % 4 space tabbing 239 xleftmargin=\parindentlnth, % indent code to paragraph indentation 240 extendedchars=true, % allow ASCII characters in the range 128-255 241 escapechar=§, % escape to latex in CFA code 242 mathescape=true, % allow $...$ LaTeX math escapes in code 243 %keepspaces=true, % 244 showstringspaces=false, % do not show spaces with cup 245 showlines=true, % show blank lines at end of code 246 aboveskip=4pt, % spacing above/below code block 228 247 belowskip=3pt, 229 moredelim=**[is][\color{red}]{®}{®}, 230 moredelim=**[is][\color{blue}]{ß}{ß}, 248 moredelim=**[is][\color{red}]{®}{®}, % red highlighting 249 moredelim=**[is][\color{blue}]{ß}{ß}, % blue highlighting 231 250 moredelim=**[is][\color{OliveGreen}]{¢}{¢}, % green highlighting 232 251 moredelim=[is][\lstset{keywords={}}]{¶}{¶}, % temporarily turn off keywords … … 242 261 \renewcommand\thebibliography[1]{ 243 262 \Oldthebibliography{#1} 244 \setlength{\parskip}{0pt} % reduce vertical spacing between references263 \setlength{\parskip}{0pt} % reduce vertical spacing between references 245 264 \setlength{\itemsep}{5pt plus 0.3ex} 246 265 }% 247 248 \newcommand*{\eg}{\textit{e.g}.\@\xspace}249 \newcommand*{\ie}{\textit{i.e}.\@\xspace}250 251 \makeatletter252 \newcommand*{\etc}{%253 \@ifnextchar{.}%254 {\textit{etc}}%255 {\textit{etc}.\@\xspace}%256 }257 \makeatother258 266 259 267 % Local Variables: %
Note: See TracChangeset
for help on using the changeset viewer.