Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Benoit Viguier
coq-verif-tweetnacl
Commits
fa112daf
Commit
fa112daf
authored
Oct 01, 2020
by
Peter Schwabe
Browse files
Started working on build system for supplementary material
parent
f82d27bf
Changes
2
Hide whitespace changes
Inline
Side-by-side
paper/csf-supplementary/Makefile
0 → 100644
View file @
fa112daf
tweetverif-supplementary.pdf
:
previous.pdf tweetverif-USENIX.pdf tweetverif-SP.pdf
pdftk
$^
cat
output
$@
previous.pdf
:
previous.tex reviews-usenix.tex tweetverif-USENIX.pdf tweetverif-SP.pdf
pdflatex previous.tex
paper/csf-supplementary/previous.tex
0 → 100644
View file @
fa112daf
\documentclass
[a4paper]
{
scrartcl
}
\usepackage
[utf8]
{
inputenc
}
\usepackage
[T1]
{
fontenc
}
\definecolor
{
linkcolor
}{
rgb
}{
0.65,0,0
}
\definecolor
{
citecolor
}{
rgb
}{
0,0.45,0
}
\definecolor
{
urlcolor
}{
rgb
}{
0,0,0.65
}
\usepackage
[colorlinks=true, backref=page, linkcolor=linkcolor, urlcolor=urlcolor, citecolor=citecolor]
{
hyperref
}
\title
{
Previous submissions of this manuscript
}
\subtitle
{
Supplementary material to the CSF submission
}
\date
{}
\begin{document}
\maketitle
\section*
{
Submissions to IEEE S
\&
P and to USENIX Security
}
\section*
{
Updates and modifications compared to the USENIX submission
}
\end{document}
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment