equal
deleted
inserted
replaced
1483 fresh_build = fresh_build, session_groups = session_groups.toList, sessions = sessions, |
1483 fresh_build = fresh_build, session_groups = session_groups.toList, sessions = sessions, |
1484 prefs = prefs, verbose = verbose, rev = rev, exclude_sessions = exclude_sessions.toList, |
1484 prefs = prefs, verbose = verbose, rev = rev, exclude_sessions = exclude_sessions.toList, |
1485 progress = progress) |
1485 progress = progress) |
1486 }) |
1486 }) |
1487 } |
1487 } |
1488 |
|
1489 class Build_Manager_Tools extends Isabelle_Scala_Tools( |
|
1490 Build_Manager.isabelle_tool, Build_Manager.isabelle_tool1) |
|