1.23
2.0
acw/focus-triggers
main
test-branch
| Rev | Line | |
|---|
| [f4f4828] | 1 | % LaTeX source for CIVL Reference Manual.
|
|---|
| [680ef28] | 2 | \documentclass[12pt, oneside, letterpaper]{book}
|
|---|
| 3 | \usepackage[letterpaper,textheight=9.5in,left=.75in,%
|
|---|
| 4 | textwidth=7in,bottom=.75in]{geometry}
|
|---|
| [f4f4828] | 5 | \usepackage{amsmath}
|
|---|
| 6 | \usepackage{amsthm}
|
|---|
| 7 | \usepackage{xcolor}
|
|---|
| 8 | \usepackage{bbold}
|
|---|
| [c3eca1d] | 9 | \usepackage{url}
|
|---|
| [680ef28] | 10 | \usepackage{hyperref}
|
|---|
| [f4f4828] | 11 | \usepackage[lined,vlined,linesnumbered,noresetcount]{algorithm2e}
|
|---|
| [f269f5a] | 12 | \usepackage{graphicx}
|
|---|
| 13 | \graphicspath{{../images/}}
|
|---|
| [f4f4828] | 14 |
|
|---|
| 15 | \include{preambular}
|
|---|
| 16 |
|
|---|
| [e151b65] | 17 | \title{%
|
|---|
| 18 | {\huge\bf CIVL}\\
|
|---|
| 19 | \mbox{The Concurrency Intermediate Verification Language}\\
|
|---|
| 20 | Reference Manual\\
|
|---|
| 21 | v0.8
|
|---|
| 22 | }
|
|---|
| [c3eca1d] | 23 | \author{%
|
|---|
| 24 | Matthew B.\ Dwyer \and
|
|---|
| 25 | Ganesh Gopalakrishnan \and
|
|---|
| 26 | Zvonimir Rakamaric \and
|
|---|
| 27 | Stephen F.\ Siegel \and
|
|---|
| 28 | Manchun Zheng \and
|
|---|
| 29 | Timothy K.\ Zirkel
|
|---|
| 30 | }
|
|---|
| 31 |
|
|---|
| [f4f4828] | 32 | \begin{document}
|
|---|
| 33 | \maketitle
|
|---|
| [c3eca1d] | 34 | \tableofcontents
|
|---|
| [b863633] | 35 | \input{part-introduction}
|
|---|
| 36 | \input{part-language}
|
|---|
| 37 | \input{part-semantics}
|
|---|
| 38 | \input{part-tools}
|
|---|
| 39 |
|
|---|
| 40 | \bibliographystyle{acm}
|
|---|
| 41 | \bibliography{civl}
|
|---|
| 42 |
|
|---|
| [f4f4828] | 43 | \end{document}
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
