[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Re: Login required for TLA toolbox?

On 07.11.2017 17:16, Markus Alexander Kuppe wrote:
> Unfortunately, the Toolbox does not include the preference page to
> manually configure proxies (which is part of the Eclipse SDK). I opened
> an issue [2] to address this problem.

Hi Alex,

the most recent nightly build [1] includes the proxy preference page.
You might want to give it a try.

Thanks

Markus

[1] http://tla.msr-inria.inria.fr/tlatoolbox/ci/products/