Wow That's great! I was just about to suggest that you release TLA editor under GNU GPL.
I still think that Atrius should be one releasing the compiled binaries for every new version; it would be really confusing otherwise.
I still think that Atrius should be one releasing the compiled binaries for every new version; it would be really confusing otherwise.