kind2-announce

Contact owners and managers

1–15 of 15

Welcome to the kind2-announce group, stay tuned for announcements of new releases.

Use our discussion group kind2-users@googlegroups.com to communicate with the developers and other users.

Try Kind 2 online at https://kind.cs.uiowa.edu/app/

Download releases and view the sources at https://github.com/kind2-mc/kind2

Submit a bug report at https://github.com/kind2-mc/kind2/issues

0 selected

kind2-announce

12/28/23

Announcing Kind 2 2.1.1

Dear all, We are happy to announce the new official release (v2.1.1) of Kind 2, an open-source, multi

unread,

Announcing Kind 2 2.1.1

Dear all, We are happy to announce the new official release (v2.1.1) of Kind 2, an open-source, multi

12/28/23

kind2-announce, Tinelli, Cesare2

6/23/23

Announcing Kind 2 2.0.0

Thanks, Mike. We have further exciting additions in the works, in the direction of improving

unread,

Announcing Kind 2 2.0.0

Thanks, Mike. We have further exciting additions in the works, in the direction of improving

6/23/23

kind2-announce

4/28/23

Announcing Kind 2 1.9.0

Dear all, We are happy to announce the new official release (v1.9.0) of Kind 2, an open-source, multi

unread,

Announcing Kind 2 1.9.0

Dear all, We are happy to announce the new official release (v1.9.0) of Kind 2, an open-source, multi

4/28/23

kind2-announce

3/15/23

Announcing Kind 2 1.8.0

Dear all, We are happy to announce the new official release (v1.8.0) of Kind 2, an open-source, multi

unread,

Announcing Kind 2 1.8.0

Dear all, We are happy to announce the new official release (v1.8.0) of Kind 2, an open-source, multi

3/15/23

kind2-announce

12/16/22

Announcing Kind 2 1.7.0

Dear all, We are happy to announce the new official release (v1.7.0) of Kind 2, an open-source, multi

unread,

Announcing Kind 2 1.7.0

Dear all, We are happy to announce the new official release (v1.7.0) of Kind 2, an open-source, multi

12/16/22

kind2-announce

5/19/22

Announcing Kind 2 1.6.0

Dear all, We are happy to announce the new official release (v1.6.0) of Kind 2, an open-source, multi

unread,

Announcing Kind 2 1.6.0

Dear all, We are happy to announce the new official release (v1.6.0) of Kind 2, an open-source, multi

5/19/22

kind2-announce

12/1/21

Announcing Kind 2 1.5.1

Dear all, We are happy to announce a new minor release (v1.5.1) of Kind 2, an open-source, multi-

unread,

Announcing Kind 2 1.5.1

Dear all, We are happy to announce a new minor release (v1.5.1) of Kind 2, an open-source, multi-

12/1/21

kind2-announce

8/25/21

Announcing Kind 2 1.5.0

Dear all, We are happy to announce the new official release (v1.5.0) of Kind 2, an open-source, multi

unread,

Announcing Kind 2 1.5.0

Dear all, We are happy to announce the new official release (v1.5.0) of Kind 2, an open-source, multi

8/25/21

kind2-announce

5/20/21

Announcing Kind 2 1.4.0

Dear all, We are happy to announce the new official release (v1.4.0) of Kind 2, an open-source, multi

unread,

Announcing Kind 2 1.4.0

Dear all, We are happy to announce the new official release (v1.4.0) of Kind 2, an open-source, multi

5/20/21

kind2-announce

3/5/21

Announcing Kind 2 1.3.1

Dear all, We are happy to announce a new minor release (v1.3.1) of Kind 2, an open-source, multi-

unread,

Announcing Kind 2 1.3.1

Dear all, We are happy to announce a new minor release (v1.3.1) of Kind 2, an open-source, multi-

3/5/21

kind2-announce

12/23/20

Announcing Kind 2 1.3.0

Dear all, We are happy to announce the new official release (v1.3.0) of Kind 2, an open-source, multi

unread,

Announcing Kind 2 1.3.0

Dear all, We are happy to announce the new official release (v1.3.0) of Kind 2, an open-source, multi

12/23/20

kind2-announce

4/6/20

Announcing Kind 2 1.2.0

Dear all, We are happy to announce the new official release (v1.2.0) of Kind 2, an open-source, multi

unread,

Announcing Kind 2 1.2.0

Dear all, We are happy to announce the new official release (v1.2.0) of Kind 2, an open-source, multi

4/6/20

Adrien Champion

1/3/17

Announcing Kind 2 1.1.0

Dear all, We are happy to announce the new official release (v1.1.0) of Kind 2, an open-source, multi

unread,

Announcing Kind 2 1.1.0

Dear all, We are happy to announce the new official release (v1.1.0) of Kind 2, an open-source, multi

1/3/17

Cesare Tinelli

7/20/16

KInd 2 v1.0.1 released

Dear all, We are happy to announce the new official release (v1.0.1) of Kind 2, an open-source, multi

unread,

KInd 2 v1.0.1 released

Dear all, We are happy to announce the new official release (v1.0.1) of Kind 2, an open-source, multi

7/20/16

Christoph Sticksel

6/9/15

Announcing Kind 2 v0.8.0

Dear all, We are happy to announce the official release of Kind 2 v0.8.0, an open-source, multi-

unread,

Announcing Kind 2 v0.8.0

Dear all, We are happy to announce the official release of Kind 2 v0.8.0, an open-source, multi-

6/9/15