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 97 - (view) (download) (as text)
Original Path: trunk/doc/report/defs.tex

1 : jhr 97 %!TEX root = report.tex
2 :     %
3 :     \newcommand{\appref}[1]{Appendix~\ref{#1}}
4 :     \newcommand{\chapref}[1]{Chapter~\ref{#1}}
5 :     \newcommand{\secref}[1]{Section~\ref{#1}}
6 :     \newcommand{\tblref}[1]{Table~\ref{#1}}
7 :     \newcommand{\figref}[1]{Figure~\ref{#1}}
8 :     \newcommand{\pref}[1]{{page~\pageref{#1}}}
9 :     \newcommand{\defref}[1]{Definition~\ref{#1}}
10 :     \newcommand{\lemmaref}[1]{Lemma~\ref{#1}}
11 :     \newcommand{\thmref}[1]{Theorem~\ref{#1}}
12 :    
13 :     \newcommand{\eg}{{\em e.g.}}
14 :     \newcommand{\cf}{{\em cf.}}
15 :     \newcommand{\ie}{{\em i.e.}}
16 :     \newcommand{\etc}{{\em etc.\/}}
17 :     \newcommand{\naive}{na\"{\i}ve}
18 :     \newcommand{\ala}{{\em \`{a} la\/}}
19 :     \newcommand{\role}{r\^{o}le}
20 :    
21 :     %
22 :     % font commands
23 :     \providecommand{\bftt}[1]{{\ttfamily\bfseries{}#1}}
24 :     \providecommand{\ittt}[1]{{\ttfamily\itshape{}#1}}
25 :     \providecommand{\kw}[1]{\bftt{#1}}
26 :     \providecommand{\nt}[1]{{\rmfamily\itshape{#1}}}
27 :     \providecommand{\term}[1]{{\sffamily{#1}}}
28 :     \providecommand{\tyvar}[1]{#1}
29 :     \providecommand{\comment}[1]{#1}
30 :     \providecommand{\literal}[1]{#1}
31 :     %
32 :     % math-mode versions
33 :     \providecommand{\mkw}[1]{\ensuremath{\text{\kw{#1}}}}
34 :     \providecommand{\mnt}[1]{\ensuremath{\text{\nt{#1}}}}
35 :     \providecommand{\mterm}[1]{\ensuremath{\text{\term{#1}}}}
36 :    
37 :     % braces
38 :     \newcommand{\LCB}{\sym{\char`\{}}
39 :     \newcommand{\RCB}{\sym{\char`\}}}
40 :    
41 :     % special symbols
42 :     \newcommand{\DS}{\sym{\$}}
43 :     \newcommand{\PCT}{\sym{\%}}
44 :     \newcommand{\HASH}{\sym{\#}}
45 :     \newcommand{\BS}{\sym{\char`\\}}
46 :     \newcommand{\US}{\sym{\char`\_}}
47 :    
48 :     % double brackets
49 :     \newcommand{\LDB}{\ensuremath{[\mskip -3mu [}}
50 :     \newcommand{\RDB}{\ensuremath{]\mskip -3mu ]}}
51 :    
52 :     % example code
53 :     %BEGIN LATEX
54 :     \newenvironment{EXAMPLE}{\begin{centercode}}{\end{centercode}}
55 :     %END LATEX
56 :     %HEVEA \newenvironment{EXAMPLE}{\begin{alltt}}{\end{alltt}}
57 :     %HEVEA \usepackage{alltt}
58 :    
59 :     % notes
60 :     %BEGIN LATEX
61 :     \newcommand{\NOTE}[1]{%
62 :     \par\leavevmode\noindent\textbf{[[ #1 ]]}\par\leavevmode\noindent}
63 :     %END LATEX
64 :     \newcommand{\CUT}[1]{}
65 :    
66 :     %BEGIN LATEX
67 :     % timestamp
68 :     \newcount\timeHH
69 :     \newcount\timeMM
70 :     \timeHH=\time
71 :     \divide\timeHH by 60
72 :     \timeMM=\time
73 :     \count255=\timeHH
74 :     \multiply\count255 by -60 \advance\timeMM by \count255
75 :     \newcommand{\timestamp}{%
76 :     \today{} ---
77 :     \ifnum\timeHH<10 0\fi\number\timeHH\,:\,\ifnum\timeMM<10 0\fi\number\timeMM}
78 :     %END LATEX
79 :     %HAVEA \newcommand{\timestamp}{\today}
80 :    
81 :     %
82 :     % A command to input code produced by extract-code.
83 :    
84 :     \usepackage{ifthen}
85 :     \newcommand{\inputCode}[1]{%
86 :     \ifthenelse{\boolean{hevea}}{\input{#1.hva}}{\input{#1.tex}}}

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