Split toolbox into a separate repo

[ahelwer]

Markus has mentioned a desire to do this on multiple occasions so I figured I would create this issue for tracking, reference, and discussion.

Basically this repo would focus on the development of the java tools themselves, and development of the eclipse-based toolbox would be moved to a different repo (presumably to be archived & EOL'd if nobody wants to put time into maintaining it).

In my mind the easiest method to do this would be as follows:

1. Fork the tlaplus/tlaplus repo into a new tlaplus/tlatoolbox repo (or whatever you want to call it)
2. Delete everything having to do with the toolbox in the tlaplus/tlaplus repo
3. Delete everything having to do with the tools in the tlaplus/tlatoolbox repo
4. Consume the tlaplus/tlaplus repo from the tlaplus/tlatoolbox repo somehow (maven package? submodule? hardcoded download from release?)

[ahelwer]

@lemmy could you fork tlaplus/tlaplus to a new tlaplus/toolbox repo so work can begin on this?

[lemmy]

4.) One possibility is to make tlaplus/tlaplus a submodule of the new tlaplus/toolbox.

[ahelwer]

That would certainly be the simplest.

[lemmy]

We can try that but I won't have time for this until after TLA+ Conf anytime soon.