The Project includes the TLA Language Package that defines the TLA+ language for VS 2005 IDE and the TLA Integration Package that adds menus in the VS 2005 IDE and assigns different functionalities to them.
The project's structure
The TLA Tools menu and the output of the verify command.
Colored text and the output of the "Make DVI" command.
The content of the template file
A new TLA Sharp project
The autocompletion window