avoid HP envy as they have overheating problems.
Mac Air is OK but imho is too expensive for a ultrabook with ultra-low voltage CPU and there is not a lot free softwares for it.
IMHO X230 is the best deal for students. see the review here
http://www.notebookreview.com/default.asp?newsID=6477&review=lenovo+thinkpad+x230