Admin/etc/build.props

disable Isabelle/Naproche for now: does not quite work on Windows;

title = Isabelle/Scala/Admin
module = $ISABELLE_HOME/lib/classes/isabelle_admin.jar
services = isabelle.Admin_Tools