From 1690a2c14a3ad05e6a3fb55875313c43b0a858d9 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <michael.kohlhase@fau.de> Date: Sun, 17 Sep 2023 14:31:37 +0200 Subject: [PATCH] generated --- kwarc/auto/recomm.el | 20 -------------------- 1 file changed, 20 deletions(-) delete mode 100644 kwarc/auto/recomm.el diff --git a/kwarc/auto/recomm.el b/kwarc/auto/recomm.el deleted file mode 100644 index a512f6d..0000000 --- a/kwarc/auto/recomm.el +++ /dev/null @@ -1,20 +0,0 @@ -(TeX-add-style-hook - "recomm" - (lambda () - (TeX-run-style-hooks - "xspace" - "calc") - (TeX-add-symbols - '("knowsince" ["argument"] 1) - '("fullname" ["argument"] 1) - '("institutionname" 1) - '("programname" 1) - "program" - "institution" - "knowmonths") - (LaTeX-add-environments - '("frame" LaTeX-env-args ["argument"] 0)) - (LaTeX-add-counters - "kmo")) - :latex) - -- GitLab