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.
License
GNU General Public License version 2.0 (GPLv2)Follow TLA#
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of TLA#!