From 4fb0894674905d3aaa1eb2456e5a6fa5a2e6b592 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= <git@maximilian-kessler.de>
Date: Sun, 16 Jan 2022 23:58:52 +0100
Subject: [PATCH] reduce test
---
tests/environments/groupthm/test.tex | 44 +---------------------------
1 file changed, 1 insertion(+), 43 deletions(-)
diff --git a/tests/environments/groupthm/test.tex b/tests/environments/groupthm/test.tex
index ba35b7a..ce2777a 100644
--- a/tests/environments/groupthm/test.tex
+++ b/tests/environments/groupthm/test.tex
@@ -8,39 +8,11 @@
\usepackage{mkessler-groupthm}
-\DeclareTheoremGroupRule {dagger}{before}{star}
-\DeclareTheoremGroupRule {starred}{higher}{dagger}
-\NewGroupedTheorem
- [
- group = {big, starred, dagger}
- ]{dlemma}
-
-\NewGroupedTheorem
- [
- group = {big, star}
- ]{slemma}
-
-\NewGroupedTheorem
- [
- group = {big},
-% thmtools = {sibling = insection}
- ]{lemma}
\NewGroupedTheorem
[
- name=Proposition, group = {dagger}
-]{dproposition}
-
-\NewGroupedTheorem
-[
- name=Proposition,
- group = {star}
-]{sproposition}
-
-\NewGroupedTheorem
-[
-group = {dagger, star}
+ group = {dagger, star}
]{test}
@@ -61,20 +33,6 @@ group = {dagger, star}
\begin{document}
-\b{hi}
-
-\begin{dlemma}
-
-\end{dlemma}
-%\begin{__example__groups_dagger_star}
- test
-%\end{__example__groups_dagger_star}
-
-\def\ex{__example__groups_}
-
-%\ShowHook{groupthm/groupsort}
-
-
\begin{example}
test
\end{example}