By 1139, Portugal had established itself as a kingdom independent from León