Explicit Reload

Program-Transformation.Org: The Program Transformation Wiki
Explicitly reloading pages is necessary in some cases to see updated links after adding new pages to the XT wiki.

How to explicitly reload a page is browser specific.

Netscape Navigator/Communicator:

  • Press Shift while clicking on the Reload button.
  • Press Alt-R
  • Some people set their preferences to compare cashed versions of the document every time with the networked version: Edit->Preferences->Advanced->Cache->Every Time : Note that this prevents the described problems but also generates more network traffic.


  • no caching, always does a reload

Internet Explorer:

  • ? (switch to Netscape :-)