"Jet" removed from grammar

grammar/src/notation.grm

@@ -6,7 +6,7 @@ This section informally explains the grammar notation used below.
 h2. Symbols and naming
 
 _Terminal symbol_ names start with an uppercase letter, e.g. *SimpleName*
-_Nonterminal symbol_ names start with lowercase letter, e.g. *jetFile*
+_Nonterminal symbol_ names start with lowercase letter, e.g. *kotlinFile*
 Each _production_ starts with a colon (*:*)
 _Symbol definitions_ may have many productions and are terminated by a semicolon (*;*)
 Symbol definitions may be prepended with _attributes_, e.g. {{start}} attribute denotes a start symbol

grammar/src/toplevel.grm

@@ -6,7 +6,7 @@ h1. Syntax
 
 
 [start]
-jetFile
+kotlinFile
   : preamble toplevelObject*
   ;