Skip to content
GitLab
Commit 9014cb6a authored by Florian Rabe's avatar Florian Rabe
Browse files

no message

parent f0d0b46e
Show whitespace changes
Inline Side-by-side
tex/paper.tex
View file @ 9014cb6a
......@@ -105,7 +105,7 @@
\paragraph{Future Work} \ednote{term indexing, normalization, using alignments / translations between libraries}
\paragraph{Acknowledgements}
\paragraph{Acknowledgments}
The authors gratefully acknowledge financial support from the OpenDreamKit Horizon 2020
European Research Infrastructures project (\#676541) and the DFG-funded project OAF: An
Open Archive for Formalizations (KO 2428/13-1).
......
Supports Markdown
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