Changeset a98b2cc
- Timestamp:
- Feb 20, 2017, 12:11:48 PM (8 years ago)
- Branches:
- ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc
- Children:
- 3bff885, 7fb1db7
- Parents:
- d150ea2
- Location:
- doc
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/LaTeXmacros/common.tex
rd150ea2 ra98b2cc 11 11 %% Created On : Sat Apr 9 10:06:17 2016 12 12 %% Last Modified By : Peter A. Buhr 13 %% Last Modified On : Tue Oct 25 22:04:19 201614 %% Update Count : 2 3413 %% Last Modified On : Fri Feb 10 11:32:36 2017 14 %% Update Count : 249 15 15 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 16 16 … … 210 210 \newcommand{\VPageref}[2][page]{\ifx#1\@empty\else{#1}\nobreakspace\fi\pageref{#2}} 211 211 212 \let\Oldthebibliography\thebibliography 213 \renewcommand\thebibliography[1]{ 214 \Oldthebibliography{#1} 215 \setlength{\parskip}{0pt} % reduce vertical spacing between references 216 \setlength{\itemsep}{5pt plus 0.3ex} 217 }% 218 212 219 % Go programming language: https://github.com/julienc91/listings-golang/blob/master/listings-golang.sty 213 220 \lstdefinelanguage{Golang}{ 214 morekeywords=[1]{package,import,func,type,struct,return,defer,panic, 215 morekeywords=[2]{string,uint,uint8,uint16,uint32,uint64,int,int8,int16, 221 morekeywords=[1]{package,import,func,type,struct,return,defer,panic,recover,select,var,const,iota,},% 222 morekeywords=[2]{string,uint,uint8,uint16,uint32,uint64,int,int8,int16,int32,int64, 216 223 bool,float32,float64,complex64,complex128,byte,rune,uintptr, error,interface},% 217 morekeywords=[3]{map,slice,make,new,nil,len,cap,copy,close,true,false, 218 morekeywords=[4]{for,break,continue,range,goto,switch,case,fallthrough,if, 224 morekeywords=[3]{map,slice,make,new,nil,len,cap,copy,close,true,false,delete,append,real,imag,complex,chan,},% 225 morekeywords=[4]{for,break,continue,range,goto,switch,case,fallthrough,if,else,default,},% 219 226 morekeywords=[5]{Println,Printf,Error,},% 220 227 sensitive=true,% … … 237 244 }% 238 245 239 \lstset{240 language=Pseudo,241 columns=fullflexible,242 basicstyle=\linespread{0.9}\tt\small, % reduce line spacing and use typewriter font243 stringstyle=\sf\color{Mahogany}, % use sanserif font244 commentstyle=\itshape\color{OliveGreen}, % green and italic comments245 tabsize=4, % 4 space tabbing246 xleftmargin=\parindentlnth, % indent code to paragraph indentation247 extendedchars=true, % allow ASCII characters in the range 128-255248 escapechar=§, % escape to latex in CFA code249 mathescape=true, % allow $...$ LaTeX math escapes in code250 %keepspaces=true, %251 showstringspaces=false, % do not show spaces with cup252 showlines=true, % show blank lines at end of code253 aboveskip=4pt, % spacing above/below code block254 belowskip=3pt,255 moredelim=**[is][\color{red}]{®}{®}, % red highlighting256 moredelim=**[is][\color{blue}]{ß}{ß}, % blue highlighting257 moredelim=**[is][\color{OliveGreen}]{¢}{¢}, % green highlighting258 moredelim=[is][\lstset{keywords={}}]{¶}{¶}, % temporarily turn off keywords259 % replace/adjust listing characters that look bad in sanserif260 literate={-}{\raisebox{-0.15ex}{\texttt{-}}}1 {^}{\raisebox{0.6ex}{$\scriptscriptstyle\land\,$}}1 {©}{{\"u}}1261 {~}{\raisebox{0.3ex}{$\scriptstyle\sim\,$}}1 {_}{\makebox[1.2ex][c]{\rule{1ex}{0.1ex}}}1 {`}{\ttfamily\upshape\hspace*{-0.1ex}`}1262 {<-}{$\leftarrow$}2 {=>}{$\Rightarrow$}2,263 }%264 265 246 % CFA programming language, based on ANSI C (with some gcc additions) 266 247 \lstdefinelanguage{CFA}[ANSI]{C}{ … … 271 252 }% 272 253 254 \newcommand{\CFADefaultStyle}{% 273 255 \lstset{ 274 256 language=CFA, 275 257 columns=fullflexible, 276 basicstyle=\linespread{0.9}\sf, % reduce line spacing and use sanserif font277 stringstyle=\tt, % use typewriter font278 tabsize=4, % 4 space tabbing279 xleftmargin=\parindentlnth, % indent code to paragraph indentation280 extendedchars=true, % allow ASCII characters in the range 128-255281 escapechar=§, % escape to latex in CFA code282 mathescape=true, % allow $...$ LaTeX math escapes in code283 %keepspaces=true, %284 showstringspaces=false, % do not show spaces with cup285 showlines=true, % show blank lines at end of code286 aboveskip=4pt, % spacing above/below code block258 basicstyle=\linespread{0.9}\sf, % reduce line spacing and use sanserif font 259 stringstyle=\tt, % use typewriter font 260 tabsize=4, % 4 space tabbing 261 xleftmargin=\parindentlnth, % indent code to paragraph indentation 262 extendedchars=true, % allow ASCII characters in the range 128-255 263 escapechar=§, % LaTeX escape in CFA code §...§ (section symbol), emacs: C-q M-' 264 mathescape=true, % LaTeX math escape in CFA code $...$ 265 %keepspaces=true, % 266 showstringspaces=false, % do not show spaces with cup 267 showlines=true, % show blank lines at end of code 268 aboveskip=4pt, % spacing above/below code block 287 269 belowskip=3pt, 288 moredelim=**[is][\color{red}]{®}{®}, % red highlighting289 moredelim=**[is][\color{blue}]{ß}{ß}, % blue highlighting290 moredelim=**[is][\color{OliveGreen}]{¢}{¢}, % green highlighting291 moredelim=[is][\lstset{keywords={}}]{¶}{¶}, % temporarily turn off keywords292 270 % replace/adjust listing characters that look bad in sanserif 293 271 literate={-}{\raisebox{-0.15ex}{\texttt{-}}}1 {^}{\raisebox{0.6ex}{$\scriptscriptstyle\land\,$}}1 294 272 {~}{\raisebox{0.3ex}{$\scriptstyle\sim\,$}}1 {_}{\makebox[1.2ex][c]{\rule{1ex}{0.1ex}}}1 {`}{\ttfamily\upshape\hspace*{-0.1ex}`}1 295 273 {<-}{$\leftarrow$}2 {=>}{$\Rightarrow$}2, 296 }% 297 298 \lstMakeShortInline© % single-character for \lstinline 299 300 301 \let\Oldthebibliography\thebibliography 302 \renewcommand\thebibliography[1]{ 303 \Oldthebibliography{#1} 304 \setlength{\parskip}{0pt} % reduce vertical spacing between references 305 \setlength{\itemsep}{5pt plus 0.3ex} 306 }% 274 moredelim=**[is][\color{red}]{®}{®}, % red highlighting ®...® (registered trademark symbol) emacs: C-q M-. 275 moredelim=**[is][\color{blue}]{ß}{ß}, % blue highlighting ß...ß (sharp s symbol) emacs: C-q M-_ 276 moredelim=**[is][\color{OliveGreen}]{¢}{¢}, % green highlighting ¢...¢ (cent symbol) emacs: C-q M-" 277 moredelim=[is][\lstset{keywords={}}]{¶}{¶}, % keyword escape ¶...¶ (pilcrow symbol) emacs: C-q M-^ 278 }% lstset 279 % inline code ©...© (copyright symbol) emacs: C-q M-) 280 \lstMakeShortInline© % single-character for \lstinline 281 }%CFADefaultStyle 307 282 308 283 % Local Variables: % -
doc/user/user.tex
rd150ea2 ra98b2cc 11 11 %% Created On : Wed Apr 6 14:53:29 2016 12 12 %% Last Modified By : Peter A. Buhr 13 %% Last Modified On : Tue Oct 25 23:03:59 201614 %% Update Count : 13 5713 %% Last Modified On : Sun Feb 19 09:29:10 2017 14 %% Update Count : 1376 15 15 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 16 16 17 17 % requires tex packages: texlive-base texlive-latex-base tex-common texlive-humanities texlive-latex-extra texlive-fonts-recommended 18 19 % inline code ©...© (copyright symbol) emacs: C-q M-)20 % red highlighting ®...® (registered trademark symbol) emacs: C-q M-.21 % blue highlighting ß...ß (sharp s symbol) emacs: C-q M-_22 % green highlighting ¢...¢ (cent symbol) emacs: C-q M-"23 % LaTex escape §...§ (section symbol) emacs: C-q M-'24 % keyword escape ¶...¶ (pilcrow symbol) emacs: C-q M-^25 % math escape $...$ (dollar symbol)26 18 27 19 \documentclass[twoside,11pt]{article} … … 58 50 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 59 51 52 \CFADefaultStyle % use default CFA format-style 53 54 % inline code ©...© (copyright symbol) emacs: C-q M-) 55 % red highlighting ®...® (registered trademark symbol) emacs: C-q M-. 56 % blue highlighting ß...ß (sharp s symbol) emacs: C-q M-_ 57 % green highlighting ¢...¢ (cent symbol) emacs: C-q M-" 58 % LaTex escape §...§ (section symbol) emacs: C-q M-' 59 % keyword escape ¶...¶ (pilcrow symbol) emacs: C-q M-^ 60 % math escape $...$ (dollar symbol) 61 62 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 63 60 64 % Names used in the document. 61 62 \newcommand{\Version}{1.0.0} 65 \newcommand{\Version}{\input{version}} 63 66 \newcommand{\CS}{C\raisebox{-0.9ex}{\large$^\sharp$}\xspace} 64 67 … … 340 343 341 344 \item 342 \Indexc{__CFA__}\index{preprocessor variables!__CFA__@©__CFA__©} and 343 \Indexc{__CFORALL__}\index{preprocessor variables!__CFORALL__@©__CFORALL__©} 345 \Indexc{__CFA__}\index{preprocessor variables!__CFA__@©__CFA__©}, 346 \Indexc{__CFORALL__}\index{preprocessor variables!__CFORALL__@©__CFORALL__©} and 347 \Indexc{__cforall}\index{preprocessor variables!__cforall@©__cforall©} 344 348 are always available during preprocessing and have no value. 345 349 \end{description}
Note: See TracChangeset
for help on using the changeset viewer.