1.1 --- a/src/Tools/isac/BridgeJEdit/VSCode_Example.thy	Sun Jul 31 16:35:33 2022 +0200
     1.2 +++ b/src/Tools/isac/BridgeJEdit/VSCode_Example.thy	Wed Aug 03 13:22:36 2022 +0200
     1.3 @@ -197,7 +197,7 @@
     1.4  \<close>
     1.5  
     1.6  subsubsection \<open>Complete Specification at once\<close>
     1.7 -Example "Diff_App/No.123 a"
     1.8 +Example "Diff_App-No.123a"
     1.9    Specification:
    1.10      Model:
    1.11        Given: \<open>Constants [r = 7]\<close>