# HG changeset patch
# User wenzelm
# Date 1483309818 -3600
# Node ID 3224021893c0c8b8d049c2d091c38b63f06e0c9c
# Parent  bcdecd466cb2f9de06f3eefc61cf2f723057dc2a
generate uuid;

diff -r bcdecd466cb2 -r 3224021893c0 src/Tools/VSCode/src/grammar.scala
--- a/src/Tools/VSCode/src/grammar.scala	Sun Jan 01 23:19:34 2017 +0100
+++ b/src/Tools/VSCode/src/grammar.scala	Sun Jan 01 23:30:18 2017 +0100
@@ -9,6 +9,8 @@
 
 import isabelle._
 
+import java.util.UUID
+
 
 object Grammar
 {
@@ -54,7 +56,7 @@
   "name": "Isabelle",
   "scopeName": "source.isabelle",
   "fileTypes": ["thy"],
-  "uuid": "fb16e918-d05b-11e6-918e-2bb94aa2c605",
+  "uuid": """ + JSON.Format(UUID.randomUUID().toString) + """,
   "repository": {
     "comments": {
       "patterns": [