ADTast-experimentalenumpthread-emulationqualifiedEnum
|
Last change
on this file since 8e819a9 was
8e819a9,
checked in by Michael Brooks <mlbrooks@…>, 2 years ago
|
|
Mike MMath initial
|
-
Property mode set to
100644
|
|
File size:
385 bytes
|
| Line | |
|---|
| 1 | \input{style/uw-top} |
|---|
| 2 | |
|---|
| 3 | \input{common} % CForall team's common |
|---|
| 4 | |
|---|
| 5 | \CFAStyle % CFA code-style for all languages |
|---|
| 6 | \lstset{language=CFA,basicstyle=\linespread{0.9}\tt} % CFA default language |
|---|
| 7 | |
|---|
| 8 | \usepackage[T1]{fontenc} % means a | character should be that, not an em dash |
|---|
| 9 | |
|---|
| 10 | \input{style/uw-bot} |
|---|
Note: See
TracBrowser
for help on using the repository browser.
