set mining_tools_items {
GuidoScript scripts/menus/pit_setup.tcl
GuidoScript scripts/menus/pit_expand_segment.tcl
GuidoScript scripts/menus/pit_expand_string.tcl
GuidoScript scripts/menus/blastmenu.tcl
GuidoScript scripts/menus/q_gradecontrol.tcl
GuidoScript scripts/menus/graphicalsequencer.tcl
GuidoScript scripts/menus/roaddesign_tools.tcl
}
GuidoMenu mining_tools {
-label "Mine design"
-delayed_script $mining_tools_items
}
