From f9e87d7de42dd9057b8dc398c8c875d6475452e4 Mon Sep 17 00:00:00 2001
From: Max New <maxsnew@gmail.com>
Date: Fri, 9 Nov 2018 13:38:52 -0500
Subject: [PATCH] long title
---
paper/gtt.tex | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/paper/gtt.tex b/paper/gtt.tex
index e71ca80..cacb104 100644
--- a/paper/gtt.tex
+++ b/paper/gtt.tex
@@ -1,14 +1,14 @@
+%% For final camera-ready submission, w/ required CCS and ACM Reference
+\documentclass[acmsmall,screen]{acmart}\settopmatter{}
+%% For arxiv version
+%% \documentclass[acmsmall,nonacm]{acmart}
+
\newif\ifshort
\newif\iflong
%% Pick long or short version:
\shorttrue
%% \longtrue
-%% For final camera-ready submission, w/ required CCS and ACM Reference
-\ifshort\documentclass[acmsmall,screen]{acmart}\settopmatter{}\fi
-%% For
-\iflong\documentclass[acmsmall,nonacm]{acmart}\fi
-
%% Note: Authors migrating a paper from PACMPL format to traditional
%% SIGPLAN proceedings format should change 'acmlarge' to
%% 'sigplan,10pt'.
@@ -52,7 +52,7 @@
\citestyle{acmauthoryear} %% For author/year citations
\setcitestyle{nosort}
-\title{Gradual Type Theory}
+\title{Gradual Type Theory\iflong (Extended Version)\fi}
%% Author information
%% Contents and number of authors suppressed with 'anonymous'.
--
GitLab