1.1 --- a/src/Tools/isac/BridgeLibisabelle/BridgeLibisabelle.thy	Mon May 03 09:36:47 2021 +0200
     1.2 +++ b/src/Tools/isac/BridgeLibisabelle/BridgeLibisabelle.thy	Fri May 07 13:23:24 2021 +0200
     1.3 @@ -20,15 +20,5 @@
     1.4  ML \<open>
     1.5  \<close> ML \<open>
     1.6  \<close> ML \<open>
     1.7 -(*
     1.8 -  The only code kept for generation of XML (required by the deprecated Java-frontend)
     1.9 -  is called below.
    1.10 -  The hierarchies will still be required in addition to PIDE functionality.
    1.11 -*)
    1.12 -val path = "/home/wneuper/tmp/"; (*~/tmp/pbl/ and ~/tmp/met must be created manyally*)
    1.13 -\<close> text \<open>(* ATTENTION: outcomment before commits, because the directories must exist *)
    1.14 -Pbl_Met_Hierarchy.pbl_hierarchy2file (path ^ "pbl/");
    1.15 -Pbl_Met_Hierarchy.met_hierarchy2file (path ^ "met/");
    1.16 -\<close> ML \<open>
    1.17  \<close>
    1.18  end