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

Re: [tlaplus] Version control for models?

From: "steve....@xxxxxxxxxx" <steve.freeman@xxxxxxxxxx>
Date: Fri, 8 Jan 2021 08:53:46 -0800 (PST)
References: <AQHW4rKzKQs5xEwzI0GYjhhk0hUnZqoX1kEAgAADCgA=> <9a45a15a-9e1a-480d-875b-e9080df2fbfcn@googlegroups.com> <9ede70a3-8726-88e9-1168-c6ebfff66dcd@lemmster.de> <93D44C1E-04A6-4A85-A644-1BDDA719EF17@zuhlke.com>

Next question. I'd like to use the Eclipse plugins for version control. I can't see how to add the git plugin to the Toolbox and I'm too #lazyweb to figure out how to add the Toolbox to a standard Eclipse installation. Can someone help me with a link?

Thx

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/2c06a7e9-3de9-459b-a543-5c32add462a7n%40googlegroups.com.

Follow-Ups:
- Howto install EGit into Toolbox (was Re: [tlaplus] Version control for models?)
  - From: Markus Kuppe

References:
- [tlaplus] Version control for models?
  - From: steve....@xxxxxxxxxx
- Re: [tlaplus] Version control for models?
  - From: Markus Kuppe
- Re: [tlaplus] Version control for models?
  - From: Freeman, Steve

Prev by Date: [tlaplus] Proving Mutual Exclusion of a simple algorithm using TLAPS
Next by Date: Howto install EGit into Toolbox (was Re: [tlaplus] Version control for models?)
Previous by thread: Re: [tlaplus] Version control for models?
Next by thread: Howto install EGit into Toolbox (was Re: [tlaplus] Version control for models?)
Index(es):
- Date
- Thread