equal
deleted
inserted
replaced
610 |
610 |
611 |
611 |
612 /* Isabelle tool wrapper */ |
612 /* Isabelle tool wrapper */ |
613 |
613 |
614 val isabelle_tool = |
614 val isabelle_tool = |
615 Isabelle_Tool("document", "prepare session theory document", args => |
615 Isabelle_Tool("document", "prepare session theory document", Scala_Project.here, args => |
616 { |
616 { |
617 var output_sources: Option[Path] = None |
617 var output_sources: Option[Path] = None |
618 var output_pdf: Option[Path] = None |
618 var output_pdf: Option[Path] = None |
619 var verbose_latex = false |
619 var verbose_latex = false |
620 var dirs: List[Path] = Nil |
620 var dirs: List[Path] = Nil |