diff options
Diffstat (limited to 'main.tex')
| -rw-r--r-- | main.tex | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -71,7 +71,7 @@ \setcopyright{none} \fi -\title{ARTiST:\ Adding Regular Types in System~T} +\title{ARTyST:\ Adding Regular Types to System~T} \ifacmart \keywords{} @@ -154,7 +154,7 @@ \newmintinline[systemtinline]{'lexer.py:SystemTLexer -x'}{} % TODOS and such -\newcommand\lang{{\color{Green} ARTiST}} +\newcommand\lang{{\color{Green} ARTyST}} \newcommand\TODO[1]{{\color{Blue}TODO:\ {#1}}} \newcommand\FIXME[1]{{\color{Red}FIXME:\ {#1}}} |