equal
deleted
inserted
replaced
61 |
61 |
62 |
62 |
63 /* Isabelle tool wrapper */ |
63 /* Isabelle tool wrapper */ |
64 |
64 |
65 val isabelle_tool = |
65 val isabelle_tool = |
66 Isabelle_Tool("update", "update theory sources based on PIDE markup", args => |
66 Isabelle_Tool("update", "update theory sources based on PIDE markup", Scala_Project.here, |
|
67 args => |
67 { |
68 { |
68 var base_sessions: List[String] = Nil |
69 var base_sessions: List[String] = Nil |
69 var select_dirs: List[Path] = Nil |
70 var select_dirs: List[Path] = Nil |
70 var requirements = false |
71 var requirements = false |
71 var exclude_session_groups: List[String] = Nil |
72 var exclude_session_groups: List[String] = Nil |