From 8f9520eda5a0ecf2458341e5d8ea40f5970d54db Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Uwe=20St=C3=B6hr?= Date: Sat, 18 May 2013 20:51:02 +0200 Subject: [PATCH] AEA.layout: restore a style - I accidentally deleted this style in previous commit --- lib/layouts/AEA.layout | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/lib/layouts/AEA.layout b/lib/layouts/AEA.layout index 0198181e8c..930de1b159 100644 --- a/lib/layouts/AEA.layout +++ b/lib/layouts/AEA.layout @@ -144,6 +144,13 @@ Style Table_Notes EndArgument End +Style Theorem + LatexName theorem + Preamble + \newtheorem{theorem}{Theorem} + EndPreamble +End + Style Algorithm LatexName algorithm Preamble