1.23
2.0
acw/focus-triggers
main
test-branch
|
Last change
on this file since dccd621 was 5af87592, checked in by Manchun Zheng <zmanchun@…>, 12 years ago |
|
implemented new command line specification, added grammar for command line specification, supported linking and command line macros now, improved the clarity of compare command.
git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@1665 fb995dde-84ed-4084-dfe6-e5aef3e2452c
|
-
Property mode
set to
100644
|
|
File size:
1.2 KB
|
| Line | |
|---|
| 1 | % LaTeX source for CIVL Reference Manual.
|
|---|
| 2 | \documentclass[12pt, oneside, letterpaper]{book}
|
|---|
| 3 | \usepackage[letterpaper,textheight=9.5in,left=.75in,%
|
|---|
| 4 | textwidth=7in,bottom=.75in]{geometry}
|
|---|
| 5 | %\usepackage[nottoc]{tocbibind}
|
|---|
| 6 | \usepackage{amsmath}
|
|---|
| 7 | \usepackage{amsthm}
|
|---|
| 8 | \usepackage{xcolor}
|
|---|
| 9 | \usepackage{bbold}
|
|---|
| 10 | \usepackage{url}
|
|---|
| 11 | \usepackage[lined,vlined,linesnumbered,noresetcount]{algorithm2e}
|
|---|
| 12 | \usepackage{graphicx}
|
|---|
| 13 | \graphicspath{{../images/}}
|
|---|
| 14 | %\usepackage{hyperref}
|
|---|
| 15 | \usepackage[bookmarksopen]{hyperref}
|
|---|
| 16 | \usepackage{bookmark}
|
|---|
| 17 |
|
|---|
| 18 | \include{preambular}
|
|---|
| 19 |
|
|---|
| 20 | \title{%
|
|---|
| 21 | {\huge\bf CIVL}\\
|
|---|
| 22 | \mbox{The Concurrency Intermediate Verification Language}\\
|
|---|
| 23 | Reference Manual\\
|
|---|
| 24 | \version
|
|---|
| 25 | }
|
|---|
| 26 | \author{%
|
|---|
| 27 | Matthew B.\ Dwyer \and
|
|---|
| 28 | Ganesh Gopalakrishnan \and
|
|---|
| 29 | Ziqing Luo \and
|
|---|
| 30 | Zvonimir Rakamaric \and
|
|---|
| 31 | Michael Rogers \and
|
|---|
| 32 | Stephen F.\ Siegel \and
|
|---|
| 33 | Manchun Zheng \and
|
|---|
| 34 | Timothy K.\ Zirkel
|
|---|
| 35 | }
|
|---|
| 36 |
|
|---|
| 37 | \begin{document}
|
|---|
| 38 | \pagenumbering{Alph}
|
|---|
| 39 | \begin{titlepage}
|
|---|
| 40 | \maketitle
|
|---|
| 41 | \thispagestyle{empty}
|
|---|
| 42 | \end{titlepage}
|
|---|
| 43 | \pagenumbering{arabic}
|
|---|
| 44 | \clearpage
|
|---|
| 45 | \pdfbookmark[part]{\contentsname}{toc}
|
|---|
| 46 | \tableofcontents
|
|---|
| 47 | \input{part-introduction}
|
|---|
| 48 | \input{part-language}
|
|---|
| 49 | \input{part-semantics}
|
|---|
| 50 | \input{part-tools}
|
|---|
| 51 | \cleardoublepage
|
|---|
| 52 | \phantomsection
|
|---|
| 53 | \addcontentsline{toc}{part}{Bibliography}
|
|---|
| 54 | \bibliographystyle{acm}
|
|---|
| 55 | \bibliography{civl}
|
|---|
| 56 | \end{document}
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
