Table of Contents
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.
Features
TODO
- 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
