Web Tools

• RoadMap
• WebIndex: all topics in the ProgrammingEnvironments? web
• WebSearch: find topics

Tracking activity

• WebNews: selected changes
• WebChanges: recent changes
• WebNotify: email notification of changes
• WebStatistics: usage counts

Look and feel

• WebPreferences: values of variables
• WebContents: web specific entries in the side bar