Home

Bogdan-Mihai Pirau

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.

Screenshot thumbnail
The project's structure
Screenshot thumbnail
The TLA Tools menu and the output of the verify command.
Screenshot thumbnail
Colored text and the output of the "Make DVI" command.
Screenshot thumbnail
The content of the template file
Screenshot thumbnail
A new TLA Sharp project
Screenshot thumbnail
The autocompletion window


Project Members: