[X] The "MediaCoder-0.6.0.3822.exe" file could not be found or is not available. Please select another file.

Welcome, Guest! Log In | Create Account

TLA# Screenshot

View screenshots

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.

Download Now! TLASharp-0.1-Source.zip (471.3 KB) OR View all files

http://tlasharp.sourceforge.net





Separate each tag with a space.

Release Date:

2007-11-07

Topic:

Integrated Development Environments (IDE),
Modeling, Quality Assurance

Operating System:

All 32-bit MS Windows (95/98/NT/2000/XP),
WinXP

License:

GNU General Public License (GPL)

Translations:

English

Intended Audience:

Developers, Education, Information Technology, Quality Engineers, Science/Research

User Interface:

.NET/Mono, Plugins, Win32 (MS Windows)

Programming Language:

C#

Registered:

2007-02-21

Ratings and Reviews

Be the first to post a text review of TLA#. Rate and review a project by clicking thumbs up or thumbs down in the right column.

Project Feed

  • Code committed

    repierre committed revision 16 to the TLA# SVN repository, changing 1 files

    posted by repierre 364 days ago

  • Code committed

    repierre committed revision 15 to the TLA# SVN repository, changing 1 files

    posted by repierre 364 days ago

  • Code committed

    repierre committed revision 14 to the TLA# SVN repository, changing 1 files

    posted by repierre 364 days ago

  • Code committed

    repierre committed revision 13 to the TLA# SVN repository, changing 1 files

    posted by repierre 364 days ago

  • Code committed

    repierre committed revision 12 to the TLA# SVN repository, changing 1 files

    posted by repierre 364 days ago

  • Code committed

    repierre committed revision 11 to the TLA# SVN repository, changing 1 files

    posted by repierre 364 days ago

  • Code committed

    repierre committed revision 10 to the TLA# SVN repository, changing 1 files

    posted by repierre 364 days ago

  • Code committed

    repierre committed revision 9 to the TLA# SVN repository, changing 1 files

    posted by repierre 364 days ago

  • Code committed

    repierre committed revision 8 to the TLA# SVN repository, changing 1 files

    posted by repierre 364 days ago

  • Code committed

    repierre committed revision 7 to the TLA# SVN repository, changing 1 files

    posted by repierre 364 days ago

Rate and Review

Be the first person to add a text review.

Would you recommend this project?





<

Related Projects

TLA# Actions

About SourceForge

Find Software

Develop Software

Community

Help

Copyright © 2010 Geeknet, Inc. All rights reserved. Terms of Use

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

Thanks for your rating!

Would you also like to write a review?





Skip Review

Thanks for your review!

Get credit for your review by logging in via OpenID. Click your account provider:

No Thanks