Skip to content
GitLab
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
ea294edd
Commit
ea294edd
authored
Oct 01, 2020
by
Peter Schwabe
Browse files
Fixed ifpublic
parent
4fb8ca6a
Changes
1
Hide whitespace changes
Inline
Side-by-side
paper/tweetverif.tex
View file @
ea294edd
...
...
@@ -12,12 +12,6 @@
\usepackage
{
epsfig
}
\usepackage
{
setup
}
\newif\ifpublic
\publicfalse
\newif\iffull
\fulltrue
\input
{
macros
}
\begin{document}
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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