generate uuid;
authorwenzelm
Sun Jan 01 23:30:18 2017 +0100 (2017-01-01)
changeset 647393224021893c0
parent 64738 bcdecd466cb2
child 64740 01af31db2720
generate uuid;
src/Tools/VSCode/src/grammar.scala
     1.1 --- a/src/Tools/VSCode/src/grammar.scala	Sun Jan 01 23:19:34 2017 +0100
     1.2 +++ b/src/Tools/VSCode/src/grammar.scala	Sun Jan 01 23:30:18 2017 +0100
     1.3 @@ -9,6 +9,8 @@
     1.4  
     1.5  import isabelle._
     1.6  
     1.7 +import java.util.UUID
     1.8 +
     1.9  
    1.10  object Grammar
    1.11  {
    1.12 @@ -54,7 +56,7 @@
    1.13    "name": "Isabelle",
    1.14    "scopeName": "source.isabelle",
    1.15    "fileTypes": ["thy"],
    1.16 -  "uuid": "fb16e918-d05b-11e6-918e-2bb94aa2c605",
    1.17 +  "uuid": """ + JSON.Format(UUID.randomUUID().toString) + """,
    1.18    "repository": {
    1.19      "comments": {
    1.20        "patterns": [