ADT
Last change
on this file since 561354f was
8e819a9,
checked in by Michael Brooks <mlbrooks@…>, 3 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.