From 833d81f2b010ecaafac935d21a3f15f80cce1e25 Mon Sep 17 00:00:00 2001 From: adelon <22380201+adelon@users.noreply.github.com> Date: Thu, 14 Aug 2025 02:49:20 +0200 Subject: Improve scanning Fixes scanning of relation symbols and adds a few error cases for function symbols. --- test/golden/abbr/tokenizing.golden | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'test/golden/abbr/tokenizing.golden') diff --git a/test/golden/abbr/tokenizing.golden b/test/golden/abbr/tokenizing.golden index 8da4b07..10b17fb 100644 --- a/test/golden/abbr/tokenizing.golden +++ b/test/golden/abbr/tokenizing.golden @@ -56,6 +56,13 @@ , EndEnv "abbreviation" , BeginEnv "proposition" , Label "dummy_abbr_test_noun" +, Word "for" +, Word "all" +, BeginEnv "math" +, Variable "x" +, EndEnv "math" +, Word "we" +, Word "have" , BeginEnv "math" , Variable "x" , EndEnv "math" -- cgit v1.2.3