tag	line	file	source code
end_proc	613	scripts/tkgen.c	end_proc(menu_num, menu_min, menu_max);
end_proc	629	scripts/tkgen.c	end_proc(menu_num, menu_min, menu_max);
end_proc	651	scripts/tkgen.c	end_proc(menu_num, menu_min, menu_max);
end_proc	665	scripts/tkgen.c	end_proc(menu_num, menu_min, menu_max);
end_proc	678	scripts/tkgen.c	end_proc(menu_num, menu_min, menu_max);
end_proc	692	scripts/tkgen.c	end_proc(menu_num, menu_min, menu_max);
end_proc	705	scripts/tkgen.c	end_proc(menu_num, menu_min, menu_max);
end_proc	722	scripts/tkgen.c	end_proc(menu_num, menu_min, menu_max);
end_proc	740	scripts/tkgen.c	end_proc(menu_num, menu_num, menu_num);