eTLA: TLA+ Tools for Eclipse

Description and Purpose

eTLA is a set of plugins that wrap TLA Tools and make them available inside Eclipse IDE.



  • TLC should run in a separate process (VM)
  • The separation to core and ui plugin does not make any sense. It makes much more sense to merge them and pull the TLA Tools (original JAR) into the classpath of both plugins
projects/etla.txt · Last modified: %2008/%10/%10 %01:%Oct by sza
Translations of this page: = chi`s home Creative Commons License Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0