We have updated the public release of Portal. This update contains all the changes from the recent beta, thanks to the whole community for their help with testing and suggesting new features.
Changes in this update are:
Converted Portal to the new SteamPipe content system, for optimized delivery of the game