if it wasn't already installed on the computers, he was downloading programs, which was probably against the school's computer use policy
if it was on the computers already, he should have taken it up with the principal, maybe asking the school's tech support guy to back him up, because those guys are supposed to be at least slightly intelligent