Updated links in proc.v and updated alu some.