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

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