Web Tools

Finding topics

• RoadMap?
• WebIndex: all topics in the Trace 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
• WebLeftBar: web specific entries in the side bar