Update Patterns.v

epfl-systemf · Aug 15, 2024 · 30c44dc · 30c44dc
1 parent b951699
commit 30c44dc
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/mechanization/spec/Patterns.v b/mechanization/spec/Patterns.v
@@ -4,8 +4,9 @@ From Warblre Require Import List Result Typeclasses Notation Numeric Characters
     WILDCARD Sections
     ["22.2","22.2.1"]
 <<*)
-(* + The section 22.2 is not matched because it is just the title, and the section 22.2.1 is not matched because it is also missing a lot 
-     of useless sections, f.i. related to Unicode + *)
+(* + Section 22.2 only contains the Section title. 
+ Section 22.2.1 differs from the ECMAScript specification because some Unicode definitions have been parameterized in the mechanization. + *)
+
 (** >>
     22.2.1 Patterns