Of about $4.1 billion appropriated for higher education in fiscal 2015, more than half went to pensions.