ADT
ast-experimental
|
Last change
on this file since 13f066d was 8e819a9, checked in by Michael Brooks <mlbrooks@…>, 4 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.
