MylynExplanation

Mylyn is a Task-Focused Interface plugin developed originally by researchers at the University of British Columbia, and is now a full-fledged Open Source project recognized by the Eclipse Foundation. Mylyn makes tasks first-class entities within Eclipse and supports offline, asynchronous interactions with the Mobius Trac bug and feature tracker from within Eclipse, and thus from within the PVE.

Additionally, when a task is active, Mylyn watches the PVE user work and figures out what constructs (files, classes, methods, theories, definitions, lemmas, etc.) are important with respect to that particular task. This means that only those constructs relevant to the current work, be it developing new software or performing a verification, are visible at any point in time. When a task is labeled as inactive, Mylyn automatically snapshots the current state of the PVE and puts everything away so the user is returned to a clean initial desktop. Furthermore, this context can be saved as a file or attached to a Trac wiki page or ticket so that others may return to the same state as the original PVE user.

Version: 1 Time: Thu Mar 27 18:21:51 2008 Author: dcochran (dcochran) IP: 193.1.132.32