(* build the session using "isabelle build -D ." *)
session "Tarjan" = "HOL" +
  options [document = pdf, document_output = "output", document_variants="document:outline=/proof"]
  theories
    Tarjan
  document_files
    "root.tex"
