diff --git a/examples/scholarly_paper/ROOTS b/examples/scholarly_paper/ROOTS index 2217cf3e..c8b6b24b 100755 --- a/examples/scholarly_paper/ROOTS +++ b/examples/scholarly_paper/ROOTS @@ -1 +1,2 @@ 2018-cicm-isabelle_dof-applications +2020-iFM-CSP