tag	line	file	source code
end_proc	727	scripts/tkgen.c	end_proc(menu_num, menu_min, menu_max);
end_proc	743	scripts/tkgen.c	end_proc(menu_num, menu_min, menu_max);
end_proc	765	scripts/tkgen.c	end_proc(menu_num, menu_min, menu_max);
end_proc	781	scripts/tkgen.c	end_proc(menu_num, menu_min, menu_max);
end_proc	794	scripts/tkgen.c	end_proc(menu_num, menu_min, menu_max);
end_proc	808	scripts/tkgen.c	end_proc(menu_num, menu_min, menu_max);
end_proc	821	scripts/tkgen.c	end_proc(menu_num, menu_min, menu_max);
end_proc	840	scripts/tkgen.c	end_proc(menu_num, menu_min, menu_max);
end_proc	858	scripts/tkgen.c	end_proc(menu_num, menu_num, menu_num);