Web Tools

• RoadMap?
• WebIndex: all topics in the Proxima 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