ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change
on this file since 093a5d7 was
67982887,
checked in by Peter A. Buhr <pabuhr@…>, 6 years ago
|
specialize thesis directory-names
|
-
Property mode set to
100644
|
File size:
561 bytes
|
Rev | Line | |
---|
[fe84230] | 1 | \input{common} % bespoke macros used in the document |
---|
[0f9bef3] | 2 | \input{cfa-format} |
---|
[fe84230] | 3 | |
---|
[b0fedd4] | 4 | % \CFADefaultStyle |
---|
[03bb816] | 5 | |
---|
[27dde72] | 6 | % \lstset{ |
---|
| 7 | % morekeywords=[2]{nomutex,mutex,thread,wait,wait_release,signal,signal_block,accept,monitor,suspend,resume,coroutine}, |
---|
| 8 | % keywordstyle=[2]\color{blue}, % second set of keywords for concurency |
---|
| 9 | % basicstyle=\linespread{0.9}\tt\small, % reduce line spacing and use typewriter font |
---|
| 10 | % stringstyle=\sf\color{Mahogany}, % use sanserif font |
---|
| 11 | % commentstyle=\itshape\color{OliveGreen}, % green and italic comments |
---|
| 12 | % }% |
---|
Note: See
TracBrowser
for help on using the repository browser.