Update proglang2.html