Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Annotation of /branches/pure-cfg/doc/report/defs.tex
ViewVC logotype

Annotation of /branches/pure-cfg/doc/report/defs.tex

Parent Directory Parent Directory | Revision Log Revision Log


Revision 377 - (view) (download) (as text)
Original Path: trunk/doc/report/defs.tex

1 : jhr 97 %!TEX root = report.tex
2 :     %
3 : jhr 335
4 :     %BEGIN LATEX
5 :     \setlength{\textwidth}{6in}
6 :     \oddsidemargin 0.25in
7 :     \evensidemargin 0.25in
8 :     \addtolength{\textheight}{1.0in}
9 :     \addtolength{\topmargin}{-0.5in}
10 :     \parskip 5pt
11 :     %END LATEX
12 :    
13 :     \usepackage{times}
14 :     %BEGIN LATEX
15 :     %-------------------------
16 :     % the following magic makes the tt font in math mode be the same as the
17 :     % normal tt font (i.e., Courier)
18 :     %
19 :     \SetMathAlphabet{\mathtt}{normal}{OT1}{pcr}{n}{n}
20 :     \SetMathAlphabet{\mathtt}{bold}{OT1}{pcr}{bx}{n}
21 :     %-------------------------
22 :     %END LATEX
23 :    
24 :     %BEGIN LATEX
25 :     \usepackage{hevea}
26 :     \usepackage{grammar}
27 :     \renewcommand{\term}[1]{\textsc{#1}}
28 :     %END LATEX
29 :    
30 :     \usepackage{graphicx}
31 :     \usepackage{color}
32 : jhr 377 \usepackage{amssymb}
33 : jhr 335 \usepackage{amsmath}
34 :     \usepackage{stmaryrd}
35 :    
36 :     \definecolor{Red}{rgb}{0.9,0.0,0.0}
37 :     \definecolor{Green}{rgb}{0.0,0.4,0.0}
38 :     \definecolor{Blue}{rgb}{0.0,0.0,0.9}
39 :     \definecolor{Purple}{rgb}{0.5,0.0,0.4}
40 :     \definecolor{Black}{rgb}{0.0,0.0,0.0}
41 :     \definecolor{Yellow}{rgb}{1.0,1.0, 0.25}
42 :     \definecolor{Cyan}{rgb}{0.25,1.0, 1.0}
43 :    
44 :     % Diderot listings
45 :     %
46 :     \usepackage{listings}
47 :     \lstset{
48 :     basicstyle=\ttfamily\small\color{Blue},
49 :     keywordstyle=\bfseries\color{Purple},
50 :     commentstyle=\itshape\color{Red}}
51 :     \lstdefinelanguage{Diderot}{%
52 : jhr 371 morekeywords={bool,field,image,input,int,kernel,output,real,string,tensor,vec2,vec3,vec4},%
53 :     morekeywords={actor,D,die,else,if,in,inf,initially,nan,new,stabilize,update},%
54 :     otherkeywords={|,||,@,..,\#,\{,\}},%
55 :     sensitive,%
56 :     morecomment=[s]{/*}{*/},%
57 :     morecomment=[l]//,% nonstandard
58 :     morestring=[b]"%
59 :     }%
60 : jhr 335
61 :     \lstset{
62 :     language=Diderot
63 :     }
64 :    
65 : jhr 97 \newcommand{\appref}[1]{Appendix~\ref{#1}}
66 :     \newcommand{\chapref}[1]{Chapter~\ref{#1}}
67 :     \newcommand{\secref}[1]{Section~\ref{#1}}
68 :     \newcommand{\tblref}[1]{Table~\ref{#1}}
69 :     \newcommand{\figref}[1]{Figure~\ref{#1}}
70 :     \newcommand{\pref}[1]{{page~\pageref{#1}}}
71 :     \newcommand{\defref}[1]{Definition~\ref{#1}}
72 :     \newcommand{\lemmaref}[1]{Lemma~\ref{#1}}
73 :     \newcommand{\thmref}[1]{Theorem~\ref{#1}}
74 :    
75 :     \newcommand{\eg}{{\em e.g.}}
76 :     \newcommand{\cf}{{\em cf.}}
77 :     \newcommand{\ie}{{\em i.e.}}
78 :     \newcommand{\etc}{{\em etc.\/}}
79 :     \newcommand{\naive}{na\"{\i}ve}
80 :     \newcommand{\ala}{{\em \`{a} la\/}}
81 :     \newcommand{\role}{r\^{o}le}
82 :    
83 :     %
84 :     % font commands
85 :     \providecommand{\bftt}[1]{{\ttfamily\bfseries{}#1}}
86 :     \providecommand{\ittt}[1]{{\ttfamily\itshape{}#1}}
87 : jhr 335 \providecommand{\kw}[1]{\bftt{\color{Purple}#1}}
88 : jhr 97 \providecommand{\nt}[1]{{\rmfamily\itshape{#1}}}
89 :     \providecommand{\term}[1]{{\sffamily{#1}}}
90 :     \providecommand{\tyvar}[1]{#1}
91 :     \providecommand{\comment}[1]{#1}
92 :     \providecommand{\literal}[1]{#1}
93 :     %
94 :     % math-mode versions
95 :     \providecommand{\mkw}[1]{\ensuremath{\text{\kw{#1}}}}
96 :     \providecommand{\mnt}[1]{\ensuremath{\text{\nt{#1}}}}
97 :     \providecommand{\mterm}[1]{\ensuremath{\text{\term{#1}}}}
98 :    
99 :     % braces
100 :     \newcommand{\LCB}{\sym{\char`\{}}
101 :     \newcommand{\RCB}{\sym{\char`\}}}
102 :    
103 :     % special symbols
104 :     \newcommand{\DS}{\sym{\$}}
105 :     \newcommand{\PCT}{\sym{\%}}
106 :     \newcommand{\HASH}{\sym{\#}}
107 :     \newcommand{\BS}{\sym{\char`\\}}
108 :     \newcommand{\US}{\sym{\char`\_}}
109 :    
110 :     % double brackets
111 :     \newcommand{\LDB}{\ensuremath{[\mskip -3mu [}}
112 :     \newcommand{\RDB}{\ensuremath{]\mskip -3mu ]}}
113 :    
114 :     % example code
115 :     %BEGIN LATEX
116 : jhr 335 \newenvironment{EXAMPLE}{\begin{quote}\begin{lstlisting}}{\end{lstlisting}\end{quote}}
117 : jhr 97 %END LATEX
118 :     %HEVEA \newenvironment{EXAMPLE}{\begin{alltt}}{\end{alltt}}
119 :     %HEVEA \usepackage{alltt}
120 :    
121 :     % notes
122 :     %BEGIN LATEX
123 :     \newcommand{\NOTE}[1]{%
124 :     \par\leavevmode\noindent\textbf{[[ #1 ]]}\par\leavevmode\noindent}
125 :     %END LATEX
126 :     \newcommand{\CUT}[1]{}
127 :    
128 :     %BEGIN LATEX
129 :     % timestamp
130 :     \newcount\timeHH
131 :     \newcount\timeMM
132 :     \timeHH=\time
133 :     \divide\timeHH by 60
134 :     \timeMM=\time
135 :     \count255=\timeHH
136 :     \multiply\count255 by -60 \advance\timeMM by \count255
137 :     \newcommand{\timestamp}{%
138 :     \today{} ---
139 :     \ifnum\timeHH<10 0\fi\number\timeHH\,:\,\ifnum\timeMM<10 0\fi\number\timeMM}
140 :     %END LATEX
141 :     %HAVEA \newcommand{\timestamp}{\today}
142 :    
143 :     %
144 :     % A command to input code produced by extract-code.
145 :    
146 :     \usepackage{ifthen}
147 :     \newcommand{\inputCode}[1]{%
148 :     \ifthenelse{\boolean{hevea}}{\input{#1.hva}}{\input{#1.tex}}}

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0