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
96822330
Commit
96822330
authored
Oct 03, 2020
by
Peter Schwabe
Browse files
Removed TODOs
parent
ded5601f
Changes
3
Hide whitespace changes
Inline
Side-by-side
paper/csf-supplementary/previous.tex
View file @
96822330
...
...
@@ -49,8 +49,8 @@ decision from USENIX. In this supplementary material we provide the following do
\end{itemize}
\section*
{
Addressing the USENIX reviews
}
\todo
{
Write this section.
}
%
\section*{Addressing the USENIX reviews}
%
\todo{Write this section.}
\newpage
\vspace*
{
7cm
}
...
...
paper/csf-supplementary/usenix-f.tex
View file @
96822330
...
...
@@ -60,6 +60,6 @@ Security audience (e.g., walking step-by-step through proofs, with no text
explaining why this is important or interesting). I also find bits of the text
somewhat rushed (e.g., paragraph from RFC with no context).
\begin{answer}
\todo
{
Should add some reply here somewhere
}
\end{answer}
%
\begin{answer}
%
\todo{Should add some reply here somewhere}
%
\end{answer}
paper/csf-supplementary/usenix-g.tex
View file @
96822330
...
...
@@ -55,7 +55,7 @@ If the paper was proposing a new technique which could be applied more generally
\item
Describe which parts of the contributions could possibly be applied more generally.
\end{itemize}
\begin{answer}
\todo
{
Should add some reply here somewhere
}
\end{answer}
%
\begin{answer}
%
\todo{Should add some reply here somewhere}
%
\end{answer}
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