From f8b0e7a5cde7e3172310f7b5d596e1b44bf0adb1 Mon Sep 17 00:00:00 2001
From: Jazzpirate <raupi@jazzpirate.com>
Date: Wed, 11 Oct 2023 09:13:52 +0200
Subject: [PATCH] fix in sTeX linter wrt \endgroup

---
 .../info/kwarc/mmt/stex/parsing/Rules.scala   | 19 ++++++++++++++++++-
 1 file changed, 18 insertions(+), 1 deletion(-)

diff --git a/src/mmt-stex/src/info/kwarc/mmt/stex/parsing/Rules.scala b/src/mmt-stex/src/info/kwarc/mmt/stex/parsing/Rules.scala
index 4543a95f57..6078c62740 100644
--- a/src/mmt-stex/src/info/kwarc/mmt/stex/parsing/Rules.scala
+++ b/src/mmt-stex/src/info/kwarc/mmt/stex/parsing/Rules.scala
@@ -294,7 +294,7 @@ object Begin extends MacroRule {
       env.header = nstate.children.reverse
       val next = try {
         parser.readTop {
-          parser.In.startsWith("\\end")
+          parser.In.startsWith("\\end{")
         }
       } catch {
         case le: LaTeXParseError if !rl.isInstanceOf[UnknownEnvironmentRule] =>
@@ -435,6 +435,22 @@ object TeXRules {
       new MacroApplication
     }
   }
+  val begingroup = new MacroRule {
+    override def name = "begingroup"
+
+    override def apply(implicit parser: ParseState[PlainMacro]): MacroApplication = {
+      parser.latex.opengroup
+      new MacroApplication
+    }
+  }
+  val endgroup = new MacroRule {
+    override def name = "endgroup"
+
+    override def apply(implicit parser: ParseState[PlainMacro]): MacroApplication = {
+      parser.latex.closegroup
+      new MacroApplication
+    }
+  }
   val explsyntaxon = new MacroRule {
     override def name: String = "ExplSyntaxOn"
 
@@ -456,6 +472,7 @@ object TeXRules {
     VerbatimEnvRule("verbatim"),VerbatimEnvRule("lstlisting"),VerbatimEnvRule("stexcode"),
     InlineVerbRule("lstinline"),InlineVerbRule("verb"),InlineVerbRule("stexcodeinline"),
     lstdefinelanguage,url,makeatletter,makeatother,explsyntaxon,explsyntaxoff,
+    begingroup,endgroup,
     SkipCommand("newcommand","voov"),
     SkipCommand("providecommand", "voov"),
     SkipCommand("renewcommand", "voov"),