Students make changes in HTML documents by re-opening workspace for their web pages, using the text editor, and reloading document in web browser to see changes.