1.23
2.0
acw/focus-triggers
main
test-branch
|
Last change
on this file since 8f423ff was 8f423ff, checked in by Stephen Siegel <siegel@…>, 12 years ago |
|
Cleaned up all problems with manual, got book marks right, table
of contents right, got rid of all warnings.
git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@700 fb995dde-84ed-4084-dfe6-e5aef3e2452c
|
-
Property mode
set to
100644
|
|
File size:
1.2 KB
|
| 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}
|
|---|
| [8f423ff] | 5 | %\usepackage[nottoc]{tocbibind}
|
|---|
| [f4f4828] | 6 | \usepackage{amsmath}
|
|---|
| 7 | \usepackage{amsthm}
|
|---|
| 8 | \usepackage{xcolor}
|
|---|
| 9 | \usepackage{bbold}
|
|---|
| [c3eca1d] | 10 | \usepackage{url}
|
|---|
| [f4f4828] | 11 | \usepackage[lined,vlined,linesnumbered,noresetcount]{algorithm2e}
|
|---|
| [f269f5a] | 12 | \usepackage{graphicx}
|
|---|
| 13 | \graphicspath{{../images/}}
|
|---|
| [8f423ff] | 14 | %\usepackage{hyperref}
|
|---|
| 15 | \usepackage[bookmarksopen]{hyperref}
|
|---|
| 16 | \usepackage{bookmark}
|
|---|
| [f4f4828] | 17 |
|
|---|
| 18 | \include{preambular}
|
|---|
| 19 |
|
|---|
| [e151b65] | 20 | \title{%
|
|---|
| 21 | {\huge\bf CIVL}\\
|
|---|
| 22 | \mbox{The Concurrency Intermediate Verification Language}\\
|
|---|
| 23 | Reference Manual\\
|
|---|
| 24 | v0.8
|
|---|
| 25 | }
|
|---|
| [c3eca1d] | 26 | \author{%
|
|---|
| 27 | Matthew B.\ Dwyer \and
|
|---|
| 28 | Ganesh Gopalakrishnan \and
|
|---|
| 29 | Zvonimir Rakamaric \and
|
|---|
| 30 | Stephen F.\ Siegel \and
|
|---|
| 31 | Manchun Zheng \and
|
|---|
| 32 | Timothy K.\ Zirkel
|
|---|
| 33 | }
|
|---|
| 34 |
|
|---|
| [f4f4828] | 35 | \begin{document}
|
|---|
| [8f423ff] | 36 | \pagenumbering{Alph}
|
|---|
| 37 | \begin{titlepage}
|
|---|
| [f4f4828] | 38 | \maketitle
|
|---|
| [8f423ff] | 39 | \thispagestyle{empty}
|
|---|
| 40 | \end{titlepage}
|
|---|
| 41 | \pagenumbering{arabic}
|
|---|
| 42 | \clearpage
|
|---|
| 43 | \pdfbookmark[part]{\contentsname}{toc}
|
|---|
| [c3eca1d] | 44 | \tableofcontents
|
|---|
| [b863633] | 45 | \input{part-introduction}
|
|---|
| 46 | \input{part-language}
|
|---|
| 47 | \input{part-semantics}
|
|---|
| 48 | \input{part-tools}
|
|---|
| [8f423ff] | 49 | \cleardoublepage
|
|---|
| 50 | \phantomsection
|
|---|
| 51 | \addcontentsline{toc}{part}{Bibliography}
|
|---|
| [b863633] | 52 | \bibliographystyle{acm}
|
|---|
| 53 | \bibliography{civl}
|
|---|
| [f4f4828] | 54 | \end{document}
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
