Commit 9c767085 authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

prepared version for Journal Submission

parent 0c965e07
......@@ -218,105 +218,105 @@
%%%%%% Dirty hack to save some space on the first page
\def\copyrightpermissionfootnoterule{}
\def\maketitle{%
\if@ACM@anonymous
% Anonymize omission of \author-s
\ifnum\num@authorgroups=0\author{}\fi
\fi
\begingroup
\let\@footnotemark\@footnotemark@nolink
\let\@footnotetext\@footnotetext@nolink
\def\@makefnmark{\hbox{\@textsuperscript{\@thefnmark}}}%
\@mktitle\if@ACM@sigchiamode\else\@mkauthors\fi\@mkteasers
\@printtopmatter
\if@ACM@sigchiamode\@mkauthors\fi
\setcounter{footnote}{0}%
\@titlenotes
\@subtitlenotes
\@authornotes
\let\@makefnmark\relax
\let\@thefnmark\relax
\let\@makefntext\noindent
\ifx\@empty\thankses\else
\footnotetextauthorsaddresses{%
\def\par{\let\par\@par}\parindent\z@\@setthanks}%
\fi
\ifx\@empty\@authorsaddresses\else
\if@ACM@anonymous\else
\if@ACM@journal
\footnotetextauthorsaddresses{%
\def\par{\let\par\@par}\parindent\z@\@setauthorsaddresses}%
\fi
\fi
\fi
\endgroup
\setcounter{footnote}{0}%
\@mkabstract
\if@ACM@printccs
\ifx\@concepts\@empty\else\bgroup
{\@specialsection{CCS Concepts}%
\@concepts\par}\egroup
\fi
\fi
\andify\authors
\andify\shortauthors
\global\let\authors=\authors
\global\let\shortauthors=\shortauthors
\if@ACM@printacmref
\@mkbibcitation
\fi
\hypersetup{%
pdfauthor={\authors},
pdftitle={\@title},
pdfsubject={\@concepts},
pdfkeywords={\@keywords},
pdfcreator={LaTeX with acmart
\csname ver@acmart.cls\endcsname\space
and hyperref
\csname ver@hyperref.sty\endcsname}}%
\global\@topnum\z@ % this prevents floats from falling
% at the top of page 1
\global\@botnum\z@ % we do not want them to be on the bottom either
\@printendtopmatter
\@afterindentfalse
\@afterheading
}
%% \def\copyrightpermissionfootnoterule{}
%% \def\maketitle{%
%% \if@ACM@anonymous
%% % Anonymize omission of \author-s
%% \ifnum\num@authorgroups=0\author{}\fi
%% \fi
%% \begingroup
%% \let\@footnotemark\@footnotemark@nolink
%% \let\@footnotetext\@footnotetext@nolink
%% \def\@makefnmark{\hbox{\@textsuperscript{\@thefnmark}}}%
%% \@mktitle\if@ACM@sigchiamode\else\@mkauthors\fi\@mkteasers
%% \@printtopmatter
%% \if@ACM@sigchiamode\@mkauthors\fi
%% \setcounter{footnote}{0}%
%% \@titlenotes
%% \@subtitlenotes
%% \@authornotes
%% \let\@makefnmark\relax
%% \let\@thefnmark\relax
%% \let\@makefntext\noindent
%% \ifx\@empty\thankses\else
%% \footnotetextauthorsaddresses{%
%% \def\par{\let\par\@par}\parindent\z@\@setthanks}%
%% \fi
%% \ifx\@empty\@authorsaddresses\else
%% \if@ACM@anonymous\else
%% \if@ACM@journal
%% \footnotetextauthorsaddresses{%
%% \def\par{\let\par\@par}\parindent\z@\@setauthorsaddresses}%
%% \fi
%% \fi
%% \fi
%% \endgroup
%% \setcounter{footnote}{0}%
%% \@mkabstract
%% \if@ACM@printccs
%% \ifx\@concepts\@empty\else\bgroup
%% {\@specialsection{CCS Concepts}%
%% \@concepts\par}\egroup
%% \fi
%% \fi
%% \andify\authors
%% \andify\shortauthors
%% \global\let\authors=\authors
%% \global\let\shortauthors=\shortauthors
%% \if@ACM@printacmref
%% \@mkbibcitation
%% \fi
%% \hypersetup{%
%% pdfauthor={\authors},
%% pdftitle={\@title},
%% pdfsubject={\@concepts},
%% pdfkeywords={\@keywords},
%% pdfcreator={LaTeX with acmart
%% \csname ver@acmart.cls\endcsname\space
%% and hyperref
%% \csname ver@hyperref.sty\endcsname}}%
%% \global\@topnum\z@ % this prevents floats from falling
%% % at the top of page 1
%% \global\@botnum\z@ % we do not want them to be on the bottom either
%% \@printendtopmatter
%% \@afterindentfalse
%% \@afterheading
%% }
\newcommand{\bbGamma}{{\mathpalette\makebbGamma\relax}}
\newcommand{\makebbGamma}[2]{%
\raisebox{\depth}{\scalebox{1}[-1]{$\mathsurround=0pt#1\mathbb{L}$}}%
}
%% \newcommand{\bbGamma}{{\mathpalette\makebbGamma\relax}}
%% \newcommand{\makebbGamma}[2]{%
%% \raisebox{\depth}{\scalebox{1}[-1]{$\mathsurround=0pt#1\mathbb{L}$}}%
%% }
\newcommand{\Raux}[1]{\textsf{Aux}_{#1}}
\newcommand{\RRefine}[1]{\textsf{Refine}_{#1}}
\newcommand{\lfp}[1]{\textsf{lfp}_{#1}}
\newcommand{\RRefineStep}[1]{\textsf{RefineStep}_{#1}}
\newcommand{\dt}[0]{\mathbb{T}}
\newcommand{\fvdash}[2]{\vdash^{\texttt{Env}\rightarrow}_{#1,#2}}
\newcommand{\bvdash}[2]{\vdash^{\texttt{Env}\leftarrow}_{#1,#2}}
% \newcommand{\ufvdash}[3]{{\underset{#1}\vdash}^{\texttt{Env}\rightarrow}_{#2,#3}}
% \newcommand{\ubvdash}[3]{{\underset{#1}\vdash}^{\texttt{Env}\leftarrow}_{#2,#3}}
\newcommand{\ufvdash}[3]{\vdash^{{#1},\texttt{ Env}\rightarrow}_{#2,#3}}
\newcommand{\ubvdash}[3]{\vdash^{{#1},\texttt{ Env}\leftarrow}_{#2,#3}}
\newcommand{\cvdash}[0]{\vdash^{\texttt{Choices}}}
%% \newcommand{\Raux}[1]{\textsf{Aux}_{#1}}
%% \newcommand{\RRefine}[1]{\textsf{Refine}_{#1}}
%% \newcommand{\lfp}[1]{\textsf{lfp}_{#1}}
%% \newcommand{\RRefineStep}[1]{\textsf{RefineStep}_{#1}}
%% \newcommand{\dt}[0]{\mathbb{T}}
%% \newcommand{\fvdash}[2]{\vdash^{\texttt{Env}\rightarrow}_{#1,#2}}
%% \newcommand{\bvdash}[2]{\vdash^{\texttt{Env}\leftarrow}_{#1,#2}}
%% % \newcommand{\ufvdash}[3]{{\underset{#1}\vdash}^{\texttt{Env}\rightarrow}_{#2,#3}}
%% % \newcommand{\ubvdash}[3]{{\underset{#1}\vdash}^{\texttt{Env}\leftarrow}_{#2,#3}}
%% \newcommand{\ufvdash}[3]{\vdash^{{#1},\texttt{ Env}\rightarrow}_{#2,#3}}
%% \newcommand{\ubvdash}[3]{\vdash^{{#1},\texttt{ Env}\leftarrow}_{#2,#3}}
%% \newcommand{\cvdash}[0]{\vdash^{\texttt{Choices}}}
\newcommand{\ct}[0]{\mathcal{C}}
\newcommand{\Gammap}[0]{{\Gamma'}}
\newcommand{\avdash}[2]{\vdash_{#1,\ #2}}
\newcommand{\bt}[0]{\texttt{Backtrack}}
\newcommand{\Gammas}[0]{\bbGamma}
\newcommand{\Tree}[0]{\texttt{T}}
\newcommand{\Node}[0]{\texttt{N}}
\newcommand{\Leaf}[0]{\texttt{L}}
\newcommand{\tree}[0]{\mathcal{T}}
\newcommand{\ttype}[0]{\texttt{type}}
\newcommand{\tleaves}[0]{\texttt{leaves}}
\newcommand{\tnodes}[0]{\texttt{nodes}}
\newcommand{\tlabels}[0]{\texttt{labels}}
\newcommand{\tflatten}[0]{\texttt{flatten}}
\newcommand{\btr}[0]{\blacktriangleright}
%% \newcommand{\ct}[0]{\mathcal{C}}
%% \newcommand{\Gammap}[0]{{\Gamma'}}
%% \newcommand{\avdash}[2]{\vdash_{#1,\ #2}}
%% \newcommand{\bt}[0]{\texttt{Backtrack}}
%% \newcommand{\Gammas}[0]{\bbGamma}
%% \newcommand{\Tree}[0]{\texttt{T}}
%% \newcommand{\Node}[0]{\texttt{N}}
%% \newcommand{\Leaf}[0]{\texttt{L}}
%% \newcommand{\tree}[0]{\mathcal{T}}
%% \newcommand{\ttype}[0]{\texttt{type}}
%% \newcommand{\tleaves}[0]{\texttt{leaves}}
%% \newcommand{\tnodes}[0]{\texttt{nodes}}
%% \newcommand{\tlabels}[0]{\texttt{labels}}
%% \newcommand{\tflatten}[0]{\texttt{flatten}}
%% \newcommand{\btr}[0]{\blacktriangleright}
\makeatletter % allow us to mention @-commands
\def\arcr{\@arraycr}
\makeatother
%% \makeatletter % allow us to mention @-commands
%% \def\arcr{\@arraycr}
%% \makeatother
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment