Texas freshman big man Jarrett Allen is done in Austin. School released that he will sign with agent, stay in draft.