src/Pure/Admin/build_polyml.scala

             case Nil => getopts.usage()
           }
         build_polyml(root, sha1_root = sha1_root, progress = new Console_Progress,
           arch_64 = arch_64, options = options, msys_root = msys_root)
       }
-    }, admin = true)
+    })
 
   val isabelle_tool2 =
     Isabelle_Tool("build_polyml_component", "make skeleton for Poly/ML component", args =>
     {
       Command_Line.tool0 {

             case List(arg) => Path.explode(arg)
             case _ => getopts.usage()
           }
         build_polyml_component(component, sha1_root = sha1_root)
       }
-    }, admin = true)
+    })
 }