chore(lang): shorten keyword individual -> indiv

3 files changed, 3 insertions, 3 deletions

diff --git a/language-web/src/main/js/index.tsx b/language-web/src/main/js/index.tsx
index 3e077ba8..d368c9ba 100644
--- a/language-web/src/main/js/index.tsx
+++ b/language-web/src/main/js/index.tsx
@@ -38,7 +38,7 @@ direct rule createChild(p):
     children(p, q) = true,
     taxStatus(q, child) = true.
 
-individual family.
+indiv family.
 Family(family).
 members(family, anne).
 members(family, bob).
diff --git a/language-web/src/main/js/language/problem.grammar b/language-web/src/main/js/language/problem.grammar
index 0cbfa831..bccc2e31 100644
--- a/language-web/src/main/js/language/problem.grammar
+++ b/language-web/src/main/js/language/problem.grammar
@@ -35,7 +35,7 @@ statement {
     IndividualNodeName ":" Constant "."
   } |
   IndividualDeclaration {
-    ckw<"individual"> sep<",", IndividualNodeName> "."
+    ckw<"indiv"> sep<",", IndividualNodeName> "."
   } |
   ScopeDeclaration {
     kw<"scope"> sep<",", ScopeElement> "."
diff --git a/language-web/src/main/js/language/problemLanguageSupport.ts b/language-web/src/main/js/language/problemLanguageSupport.ts
index 1dba3447..6508a2c0 100644
--- a/language-web/src/main/js/language/problemLanguageSupport.ts
+++ b/language-web/src/main/js/language/problemLanguageSupport.ts
@@ -27,7 +27,7 @@ const parserWithMetadata = (parser as LRParser).configure({
     styleTags({
       LineComment: t.lineComment,
       BlockComment: t.blockComment,
-      'problem class enum pred rule individual scope': t.definitionKeyword,
+      'problem class enum pred rule indiv scope': t.definitionKeyword,
       'abstract extends refers contains opposite error direct default': t.modifier,
       'true false unknown error': t.keyword,
       'new delete': t.operatorKeyword,