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
c8a38ca3
Commit
c8a38ca3
authored
Oct 01, 2020
by
Peter Schwabe
Browse files
Added one more TODO in previous.tex
parent
583095f7
Changes
1
Hide whitespace changes
Inline
Side-by-side
paper/csf-supplementary/previous.tex
View file @
c8a38ca3
...
...
@@ -50,6 +50,7 @@ decision from USENIX. In this supplementary material we provide the following do
\section*
{
Addressing the USENIX reviews
}
\todo
{
Write this section.
}
\newpage
\vspace*
{
7cm
}
...
...
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