diff --git a/resources.tex b/resources.tex index b0f73d618a5cb1a6a33adb942c1e84a1ed5b38a9..658a5f9ea5d51b235d0dc7e27431a3d565fd7ae6 100644 --- a/resources.tex +++ b/resources.tex @@ -3,7 +3,6 @@ \usepackage{config/bind} \externalReferent{core} -\externalReferent{aif} \settoggle{verbose}{true} \settoggle{genExamples}{false} @@ -19,6 +18,5 @@ \input{CS.tex} \input{backpage.tex} -\input{GS.tex} \end{document}