gdttla

beta

alaiba, ct16k, geo_aoe

Browse Code SVN Repository

Description

GDTTLA aims to be a comprehensive yet easy to use, stable IDE for the TLA+ tools.

gdttla Web Site

Categories

Algorithms, Integrated Development Environments (IDE), Testing

License

GNU General Public License version 2.0 (GPLv2)

Update Notifications

Write a Review

User Reviews

Be the first to post a review of gdttla!

Additional Project Details

Intended Audience

Developers, Education

User Interface

Win32 (MS Windows)

Programming Language

Registered

2007-11-19