From 72bc8d5656230ebf9f3b20517edc1df8ca249933 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Wed, 3 Jun 2020 12:23:40 +0100 Subject: Add keywords --- main.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'main.tex') diff --git a/main.tex b/main.tex index 858e916..a321c7b 100644 --- a/main.tex +++ b/main.tex @@ -177,7 +177,7 @@ %% Keywords %% comma separated list -\keywords{keyword1, keyword2, keyword3} %% \keywords are mandatory in final camera-ready submission +\keywords{CompCert, Coq, high-level synthesis} %% \keywords are mandatory in final camera-ready submission %% \maketitle -- cgit