tlaplus-toolbox — აქ ჩამოთვლილია 1 ვერსია: პირველი , მიმდინარე 1.8.0. თითოეული ვერსია გამომცემლის საკუთარ საინსტალაციო ფაილზე მიუთითებს.
| ვერსია | თარიღი | ზომა | ფაილები |
|---|---|---|---|
| 1.8.0უახლესი | — | ნებისმიერი პროცესორი ZIP |
IDE for the TLA+ tools.
tlaplus-toolbox — აქ ჩამოთვლილია 1 ვერსია: პირველი , მიმდინარე 1.8.0. თითოეული ვერსია გამომცემლის საკუთარ საინსტალაციო ფაილზე მიუთითებს.
| ვერსია | თარიღი | ზომა | ფაილები |
|---|---|---|---|
| 1.8.0უახლესი | — | ნებისმიერი პროცესორი ZIP |