eTLA: TLA+ Tools for Eclipse

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