1.1 --- a/src/Tools/isac/BridgeLibisabelle/BridgeLibisabelle.thy	Thu Apr 22 12:49:13 2021 +0200
     1.2 +++ b/src/Tools/isac/BridgeLibisabelle/BridgeLibisabelle.thy	Thu Apr 22 12:53:26 2021 +0200
     1.3 @@ -26,7 +26,7 @@
     1.4    The hierarchies below will still be required in addition to PIDE functionality.
     1.5  *)
     1.6  val path = "/home/wneuper/tmp/"; (*~/tmp/pbl/ and ~/tmp/met must be created manyally*)
     1.7 -\<close> ML \<open>
     1.8 +\<close> text \<open>(* ATTENTION: outcomment before commits, because the directories must exist *)
     1.9  Pbl_Met_Hierarchy.pbl_hierarchy2file (path ^ "pbl/");
    1.10  Pbl_Met_Hierarchy.met_hierarchy2file (path ^ "met/");
    1.11  \<close> ML \<open>