package afp


import isabelle._

import afp.migration.{AFP_Migrate_Metadata, AFP_Obfuscate_Emails}


class Admin_Tools extends Isabelle_Scala_Tools(
  AFP_Migrate_Metadata.isabelle_tool,
  AFP_Obfuscate_Emails.isabelle_tool,
  AFP_Build_Hugo.isabelle_tool,
)

class Tools extends Isabelle_Scala_Tools(
  AFP_Site_Gen.isabelle_tool,
  AFP_Check_Roots.isabelle_tool,
  AFP_Check_Metadata.isabelle_tool,
  AFP_Dependencies.isabelle_tool,
  AFP_Release.isabelle_tool,
  AFP_Submit.isabelle_tool
)
